Skip to Main content Skip to Navigation
Journal articles

Astor: Exploring the design space of generate-and-validate program repair beyond GenProg

Abstract : 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 provides 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.
Document type :
Journal articles
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03574624
Contributor : Julie Cagniard Connect in order to contact the contributor
Submitted on : Monday, April 25, 2022 - 10:55:43 AM
Last modification on : Wednesday, April 27, 2022 - 1:34:33 PM
Long-term archiving on: : Tuesday, July 26, 2022 - 6:44:56 PM

File

1802.03365.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Matias Martinez, Martin Monperrus. Astor: Exploring the design space of generate-and-validate program repair beyond GenProg. Journal of Systems and Software, Elsevier, 2019, 151, pp.65-80. ⟨10.1016/j.jss.2019.01.069⟩. ⟨hal-03574624⟩

Share

Metrics

Record views

11

Files downloads

6