Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Wed 13 Nov 2019 11:40 - 12:00 at Cortez 2&3 - Program Repair Chair(s): Yingfei Xiong

This article contributes to defining the design space of program repair. Repair approaches can be loosely characterized according to the main design philosophy, in particular “generate-and-validate” and synthesis-based approaches. Each of those repair approaches is a point in the design space of program repair. Our goal is to facilitate the design, development and evaluation of repair approaches by providing a framework that: a) contains components commonly present in most approaches, b) provides built-in implementations of existing repair approaches. This paper presents a Java framework named Astor that focuses on the design space of generate-and-validate repair approaches. The key novelty of Astor is to provide explicit extension points to explore the design space of program repair. Thanks to those extension points, researchers can both reuse existing program repair components and implement new ones. Astor includes 6 unique implementations of repair approaches in Java, including GenProg for Java called jGenProg. Researchers have already defined new approaches over Astor. The implementations of program repair approaches built already available in Astor are capable of repairing, in total, 98 real bugs from 5 large Java programs. Astor code is publicly available on Github: https://github.com/SpoonLabs/astor.

Wed 13 Nov

Displayed time zone: Tijuana, Baja California change

10:40 - 12:20
Program RepairResearch Papers / Demonstrations / Journal First Presentations at Cortez 2&3
Chair(s): Yingfei Xiong Peking University
10:40
20m
Talk
Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models
Research Papers
Hao Zhang City University of Hong Kong, Wing-Kwong Chan City University of Hong Kong, Hong Kong
11:00
20m
Talk
Re-factoring based Program Repair applied to Programming Assignments
Research Papers
Yang Hu The University of Texas at Austin, Umair Z. Ahmed National University of Singapore, Sergey Mechtaev University College London, Ben Leong National University of Singapore, Abhik Roychoudhury National University of Singapore
Pre-print
11:20
20m
Talk
InFix: Automatically Repairing Novice Program Inputs
Research Papers
Madeline Endres University of Michigan, Georgios Sakkas University of California, San Diego, Benjamin Cosman University of California at San Diego, USA, Ranjit Jhala University of California, San Diego, Westley Weimer University of Michigan
Pre-print
11:40
20m
Talk
Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg
Journal First Presentations
Matias Martinez Université Polytechnique Hauts-de-France, Martin Monperrus KTH Royal Institute of Technology
Pre-print
12:00
10m
Demonstration
PraPR: Practical Program Repair via Bytecode Mutation
Demonstrations
Ali Ghanbari Iowa State University, Lingming Zhang The University of Texas at Dallas
12:10
10m
Talk
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences
Research Papers
Padraic Cashin Arizona State University, Cari Martinez University of New Mexico, Stephanie Forrest Arizona State University, Westley Weimer University of Michigan
Pre-print