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 Nov
14:00 - 14:30 | Automatically Repairing Binary Programs Using Adapter Synthesis Vaibhav SharmaUniversity of Minnesota | |||||||||||||||||||||||||||||||||||||||||
14:30 - 15:00 | Improving Patch Quality by Enhancing Key Components of Automatic Program Repair Mauricio SotoCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
15:00 - 15:30 | Generating Tests to Analyse Dynamically-Typed Programs Stephan LukasczykUniversity of Passau |