@inproceedings{93ca653f60c5450982597b435b6f0b0f,
title = "The bane of generate-And-validate program repair: Too much generation, too little validation",
abstract = "To repair a program does not mean to make it absolutely correct; it only means to make it more-correct, in some sense, than it is. This distinction has consequences: Given that software products typically have a dozen faults per KLOC and thousands of KLOC's, program repair tools ought to be designed in such a way as to transform an incorrect program into an incorrect, albeit more-correct, program. In the absence of a concept of relative correctness (the property of a program to be more-correct than another with respect to a specification), program repair methods have resorted to various approximations of absolute correctness. This shortcoming has been concealed by the fact that they are usually validated on programs with a single fault at a time, for which the goals of absolute correctness and relative correctness are indistinguishable. In this paper we discuss how the use of relative correctness can reduce the scale of patch generation and enhance the efficiency, precision and recall of patch validation.",
keywords = "Cardumen, absolute correctness, patch generation, patch validation, program repair, relative correctness",
author = "Besma Khaireddine and Aleksandr Zakharchenko and Ali Mili",
note = "Publisher Copyright: {\textcopyright} 2021 The authors and IOS Press. All rights reserved.; 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021 ; Conference date: 21-09-2021 Through 23-09-2021",
year = "2021",
month = sep,
day = "8",
doi = "10.3233/FAIA210013",
language = "English (US)",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "113--126",
editor = "Hamido Fujita and Hector Perez-Meana",
booktitle = "New Trends in Intelligent Software Methodologies, Tools and Techniques - Proceedings of the 20th International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques, SoMeT 2021",
address = "Netherlands",
}