Astor: Exploring the design space of generate-and-validate program repair beyond GenProg - Université Polytechnique des Hauts-de-France Accéder directement au contenu
Article Dans Une Revue Journal of Systems and Software Année : 2019

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

Résumé

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.
Fichier principal
Vignette du fichier
1802.03365.pdf (562.51 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03574624 , version 1 (25-04-2022)

Identifiants

Citer

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

Altmetric

Partager

Gmail Facebook X LinkedIn More