Staged Program Repair in SPR (Supplementary Material)
Author(s)Long, Fan; Rinard, Martin
MetadataShow full item record
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 correct patches. The majority of these correct patches are not within the search spaces of previous automatic program repair systems.
Program Repair, Transformation Schema, Condition Synthesis