Staged Program Repair in SPR (Supplementary Material)
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...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/95963 |
| _version_ | 1826202802973573120 |
|---|---|
| author | Long, Fan Rinard, Martin |
| author2 | Martin Rinard |
| author_facet | Martin Rinard Long, Fan Rinard, Martin |
| author_sort | Long, Fan |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T12:18:50Z |
| id | mit-1721.1/95963 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:18:50Z |
| publishDate | 2015 |
| record_format | dspace |
| spelling | mit-1721.1/959632019-04-08T08:33:47Z Staged Program Repair in SPR (Supplementary Material) Long, Fan Rinard, Martin Martin Rinard Computer Architecture Program Repair Transformation Schema Condition Synthesis 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. 2015-03-11T19:45:06Z 2015-03-11T19:45:06Z 2015-03-05 2015-03-11T19:45:06Z http://hdl.handle.net/1721.1/95963 1213290 bytes application/octet-stream |
| spellingShingle | Program Repair Transformation Schema Condition Synthesis Long, Fan Rinard, Martin Staged Program Repair in SPR (Supplementary Material) |
| title | Staged Program Repair in SPR (Supplementary Material) |
| title_full | Staged Program Repair in SPR (Supplementary Material) |
| title_fullStr | Staged Program Repair in SPR (Supplementary Material) |
| title_full_unstemmed | Staged Program Repair in SPR (Supplementary Material) |
| title_short | Staged Program Repair in SPR (Supplementary Material) |
| title_sort | staged program repair in spr supplementary material |
| topic | Program Repair Transformation Schema Condition Synthesis |
| url | http://hdl.handle.net/1721.1/95963 |
| work_keys_str_mv | AT longfan stagedprogramrepairinsprsupplementarymaterial AT rinardmartin stagedprogramrepairinsprsupplementarymaterial |