Astor: Exploring the Design Space of Generate-and-Validate Program Repair beyond GenProg
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 NovDisplayed 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 20mTalk | Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models Research Papers | ||
11:00 20mTalk | 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 20mTalk | 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 20mTalk | 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 10mDemonstration | PraPR: Practical Program Repair via Bytecode Mutation Demonstrations | ||
12:10 10mTalk | 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 |