Staged Program Repair in SPR
Author(s)
Long, Fan; Rinard, Martin
DownloadMIT-CSAIL-TR-2015-008.pdf (385.0Kb)
Other Contributors
Computer Architecture
Advisor
Martin Rinard
Metadata
Show full item recordAbstract
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.
Date issued
2015-03-11Citation
Series/Report no.
MIT-CSAIL-TR-2015-008
Keywords
Program Repair, Transformation Schema, Condition Synthesis