Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Mon 11 Nov 2019 15:00 - 15:30 at Cortez 1A - Repair and Testing
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

Displayed time zone: Tijuana, Baja California change

14:00 - 15:30
Repair and TestingDoctoral Symposium at Cortez 1A
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

Tue 12 Nov

Displayed time zone: Tijuana, Baja California change

15:20 - 16:00
Poster Session: Doctoral SymposiumDoctoral Symposium at Kensington Ballroom
15:20
40m
Automatically Repairing Binary Programs Using Adapter Synthesis
Doctoral Symposium
Vaibhav Sharma University of Minnesota
15:20
40m
Improving Patch Quality by Enhancing Key Components of Automatic Program Repair
Doctoral Symposium
Mauricio Soto Carnegie Mellon University
15:20
40m
Improving Collaboration Efficiency in Fork-based Development
Doctoral Symposium
Shurui Zhou University of Toronto
15:20
40m
Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements
Doctoral Symposium
Kristian Kolthoff Institute for Enterprise Systems (InES), University Of Mannheim
15:20
40m
Tackling Build Failures in Continuous Integration
Doctoral Symposium
Foyzul Hassan University of Texas at San Antonio, USA
15:20
40m
Enabling Continuous Improvement of a Continuous Integration Process
Doctoral Symposium
Carmine Vassallo University of Zurich
15:20
40m
Generating Tests to Analyse Dynamically-Typed Programs
Doctoral Symposium
Stephan Lukasczyk University of Passau
15:20
40m
Inference of Properties from Requirements and Automation of their Formal Verification
Doctoral Symposium
Marina Reich Chemnitz University of Technology/ Airbus Defence and Space GmbH