ponencia en congreso.page.titleprefix
An analysis of the suitability of test-based patch acceptance criteria

dc.contributor.authorZemín, Luciano
dc.contributor.authorGutiérrez Brida, Simón
dc.contributor.authorGodio, Ariel
dc.contributor.authorCornejo, César
dc.contributor.authorDegiovanni, Renzo
dc.contributor.authorRegis, Germán
dc.contributor.authorAguirre, Nazareno
dc.contributor.authorFrías, Marcelo
dc.date.accessioned2019-09-17T16:40:28Z
dc.date.available2019-09-17T16:40:28Z
dc.date.issued2017-07
dc.description.abstract"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion for fix candidates, that often also plays an important role in guiding some search processes. Most tools use tests as specifications, which constitutes a risk, since the incompleteness of tests as specifications may lead one to obtain spurious repairs, that pass all tests but are in fact incorrect. This problem has been identified by various researchers, raising concerns about the validity of program fixes. More thorough studies have been proposed using different sets of tests for fix validation, and resorting to manual inspection, showing that while tools reduce their program fixing rate, they are still able to repair a significant number of cases. In this paper, we perform a different analysis of the suitability of tests as acceptance criteria for automated program fixes, by checking patches produced by automated repair tools using a bug-finding tool, as opposed to previous works that used tests or manual inspections. We develop a number of experiments in which faulty programs from a known benchmark are fed to the program repair tools GenProg, Angelix, AutoFix and Nopol, using test suites of varying quality and extension, including those accompanying the benchmark. We then check the produced patches against formal specifications using a bug-finding tool. Our results show that, in general, automated program repair tools are significantly more likely to accept a spurious program fix than producing an actual one, in the studied scenarios. "en
dc.identifier.isbn978-1538-62-789-1
dc.identifier.urihttp://ri.itba.edu.ar/handle/123456789/1757
dc.language.isoenen
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/10.1109/SBST.2017.12
dc.subjectBENCHMARKINGen
dc.subjectDEPURACION DE PROGRAMASes
dc.subjectVERIFICACION DE SOFTWAREes
dc.titleAn analysis of the suitability of test-based patch acceptance criteriaen
dc.typePonencias en Congresoses
dc.typeinfo:eu-repo/semantics/acceptedVersion
dspace.entity.typePonencia en Congreso
itba.description.filiationFil: Zemín, Luciano. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiationFil: Gutiérrez Brida, Simón. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Gutiérrez Brida, Simón. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Godio, Ariel. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiationFil: Cornejo, César. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Degiovanni, Renzo. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Degiovanni, Renzo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Regis, Germán. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Universidad Nacional de Río Cuarto. Facultad de Ciencias Exactas, Fisico-Químicas y Naturales; Argentina.
itba.description.filiationFil: Aguirre, Nazareno. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
itba.description.filiationFil: Frías, Marcelo. Instituto Tecnológico de Buenos Aires; Argentina.
itba.description.filiationFil: Frías, Marcelo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.

Files

Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Zemín_2017_ponencia.pdf
Size:
207.13 KB
Format:
Adobe Portable Document Format
Description:
Ponencia_Zemín
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.6 KB
Format:
Item-specific license agreed upon to submission
Description: