Show simple item record

An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems

dc.date.accessioned2015-02-11T19:45:04Z
dc.date.accessioned2018-11-26T22:27:19Z
dc.date.available2015-02-11T19:45:04Z
dc.date.available2018-11-26T22:27:19Z
dc.date.issued2015-02-10
dc.identifier.urihttp://hdl.handle.net/1721.1/94337
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/94337
dc.description.abstractWe analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind the design of these systems -- they do not produce correct outputs even for the inputs in the test suite used to validate the patches. We also show that the overwhelming majority of the accepted patches are not correct and are equivalent to a single modification that simply deletes functionality. We also present Kali, a generate-and-validate patch generation system that simply deletes functionality. Working with a simpler and more effectively focused search space, Kali generates at least as many correct patches as prior GenProg, RSRepair, and AE systems. Kali also generates at least as many plausible patches that produce correct outputs for the inputs in the validation test suite as the three prior systems. We also discuss the patches produced by ClearView, a generate-and-validate binary hot patching system that leverages learned invariants to produce patches that enable systems to survive otherwise fatal defects and security attacks.en_US
dc.format.extent13 p.en_US
dc.relationSee supplementary material at http://hdl.handle.net/1721.1/93255
dc.relation.urihttp://hdl.handle.net/1721.1/93255
dc.subjectAutomatic Program Repairen_US
dc.subjectPatch Analysisen_US
dc.subjectFunctionality Eliminationen_US
dc.titleAn Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systemsen_US


Files in this item

FilesSizeFormatView
MIT-CSAIL-TR-2015-003.pdf293.5Kbapplication/pdfView/Open

This item appears in the following Collection(s)

Show simple item record