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 |