Staged Program Repair in SPR
dc.contributor.advisor | Martin Rinard | |
dc.contributor.author | Long, Fan | en_US |
dc.contributor.author | Rinard, Martin | en_US |
dc.contributor.other | Computer Architecture | en |
dc.date.accessioned | 2015-03-11T21:15:02Z | |
dc.date.available | 2015-03-11T21:15:02Z | |
dc.date.issued | 2015-03-11 | |
dc.identifier.uri | http://hdl.handle.net/1721.1/95970 | |
dc.description.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. | en_US |
dc.format.extent | 15 p. | en_US |
dc.relation.ispartofseries | MIT-CSAIL-TR-2015-008 | |
dc.subject | Program Repair | en_US |
dc.subject | Transformation Schema | en_US |
dc.subject | Condition Synthesis | en_US |
dc.title | Staged Program Repair in SPR | en_US |
dc.identifier.citation | en_US | |
dc.date.updated | 2015-03-11T21:15:02Z |