Staged Program Repair in SPR
Name
MIT-CSAIL-TR-2015-008.pdf
Size
385.02 KB
Format
Adobe PDF
Checksum (MD5)
7893955b9133421dbbbec606399f0214
Download all files submitted through automated deposit
Author(s)
Long, Fan
Rinard, Martin
Advisor(s)
Martin Rinard
Date Issued
March 11, 2015
Series/Report no.
MIT-CSAIL-TR-2015-008
Abstract
We present SPR, a new program repair system that uses condition synthesis to instantiate transformation schemas to repair program defects. SPR s staged repair strategy combines a rich space of potential repairs with a targeted search algorithm that makes this space viably searchable in practice. This strategy enables SPR to successfully find correct program repairs within a space that contains many meaningful and useful patches. The majority of these correct repairs are not within the search spaces of previous automatic program repair systems.
Subjects
Program Repair
Transformation Schema
Condition Synthesis
Persistent DSpace Link
