Staged Program Repair in SPR
Fan Long, Martin Rinard · 2015
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 com-bines a rich space of potential repairs with a targeted search algorithm that makes this space viably searchable in prac-tice. This strategy enables SPR to successfully find correct program repairs within a space that contains many meaning-ful and useful patches. The majority of these correct repairs are not within the search spaces of previous automatic pro-gram repair systems. 1.