Staged Program Repair in SPR (Supplementary Material)
| dc.date.accessioned | 2015-03-11T19:45:06Z | |
| dc.date.accessioned | 2018-11-26T22:27:22Z | |
| dc.date.available | 2015-03-11T19:45:06Z | |
| dc.date.available | 2018-11-26T22:27:22Z | |
| dc.date.issued | 2015-03-05 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/95963 | |
| dc.identifier.uri | http://repository.aust.edu.ng/xmlui/handle/1721.1/95963 | |
| 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 correct patches. The majority of these correct patches are not within the search spaces of previous automatic program repair systems. | en_US |
| dc.format.extent | 1213290 bytes | en_US |
| 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 (Supplementary Material) | en_US |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
| spr_result.tar.gz | 1.213Mb | application/octet-stream | View/ |