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:

Wed 13 Nov

10:40 - 12:20: Papers - Program Repair at Cortez 2&3
Chair(s): Yingfei XiongPeking University
ase-2019-papers10:40 - 11:00
Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models
Hao ZhangCity University of Hong Kong, Wing-Kwong ChanCity University of Hong Kong, Hong Kong
ase-2019-papers11:00 - 11:20
Re-factoring based Program Repair applied to Programming Assignments
Yang HuThe University of Texas at Austin, Umair Z. AhmedNational University of Singapore, Sergey MechtaevUniversity College London, Ben LeongNational University of Singapore, Abhik RoychoudhuryNational University of Singapore
ase-2019-papers11:20 - 11:40
InFix: Automatically Repairing Novice Program Inputs
Madeline EndresUniversity of Michigan, Georgios SakkasUniversity of California, San Diego, Benjamin CosmanUniversity of California at San Diego, USA, Ranjit JhalaUniversity of California, San Diego, Westley WeimerUniversity of Michigan
ase-2019-Journal-First-Presentations11:40 - 12:00
Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg
Matias MartinezUniversité Polytechnique Hauts-de-France, Martin MonperrusKTH Royal Institute of Technology
ase-2019-Demonstrations12:00 - 12:10
PraPR: Practical Program Repair via Bytecode Mutation
Ali GhanbariThe University of Texas at Dallas, Lingming ZhangThe University of Texas at Dallas
ase-2019-papers12:10 - 12:20
Understanding Automatically-Generated Patches Through Symbolic Invariant Differences
Padraic CashinArizona State University, Cari MartinezUniversity of New Mexico, Stephanie ForrestArizona State University, Westley WeimerUniversity of Michigan