@inproceedings{81e0c28ca1104cc7aee85af461ed2eb2,
title = "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.",
keywords = "Absolute correctness, Fault, Fault removal, Program repair, Relative correctness",
author = "Besma Khaireddine and Matias Martinez and Ali Mili",
year = "2019",
month = apr,
doi = "10.1109/ICST.2019.00056",
language = "English (US)",
series = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "465--472",
booktitle = "Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019",
address = "United States",
note = "12th IEEE International Conference on Software Testing, Verification and Validation, ICST 2019 ; Conference date: 22-04-2019 Through 27-04-2019",
}