Tue 12 Nov 2019 15:20 - 16:00 at Kensington Ballroom - Poster Session: Doctoral Symposium
The increasing popularity of dynamically-typed programming languages, such as JavaScript or Python, requires specific support methods for developers to avoid pitfalls arising from the dynamic nature of these languages. Static analyses are frequently used but the dynamic type systems limit their applicability. Dynamic analyses, in contrast, depend on the execution of the code under analysis, and thus depend on the quality of existing tests. This quality of the test suite can be improved by the use of automated test generation but automated test generation for dynamically-typed programming languages itself is hard due to the lack of type information in the programs. The limitations of each of these approaches will be overcome by iteratively combining test generation with static and dynamic analysis techniques for dynamically-typed programs.
Mon 11 NovDisplayed time zone: Tijuana, Baja California change
14:00 - 15:30 | |||
14:00 30m | Automatically Repairing Binary Programs Using Adapter Synthesis Doctoral Symposium Vaibhav Sharma University of Minnesota | ||
14:30 30m | Improving Patch Quality by Enhancing Key Components of Automatic Program Repair Doctoral Symposium Mauricio Soto Carnegie Mellon University | ||
15:00 30m | Generating Tests to Analyse Dynamically-Typed Programs Doctoral Symposium Stephan Lukasczyk University of Passau |