Skip to Main content Skip to Navigation
Conference papers

Program Repair at Arbitrary Fault Depth

Abstract : Program repair has been an active research area for over a decade and has achieved great strides in terms of scalable automated repair tools. In this paper we argue that existing program repair tools lack an important ingredient, which limits their scope and their efficiency: a formal definition of a fault, and a formal characterization of fault removal. To support our conjecture, we consider GenProg, an archetypical program repair tool, and modify it according to our definitions of fault and fault removal; then we show, by means of empirical experiments, the impact that this has on the effectiveness and efficiency of thee tool
Document type :
Conference papers
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03522307
Contributor : Mylène Delrue Connect in order to contact the contributor
Submitted on : Wednesday, January 12, 2022 - 8:25:42 AM
Last modification on : Thursday, January 13, 2022 - 4:58:34 AM

Identifiers

Collections

Citation

Besma Khaireddine, Matias Martinez, Ali Mili. Program Repair at Arbitrary Fault Depth. 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST), Apr 2019, Xi'an, China. pp.465-472, ⟨10.1109/ICST.2019.00056⟩. ⟨hal-03522307⟩

Share

Metrics

Record views

8