Staged Program Repair in SPR (Supplementary Material)
Name
spr_result.tar.gz
Size
1.16 MB
Format
Unknown
Checksum (MD5)
fe90d8a91a6adcae97952152c6d1e740
Download all files submitted through automated deposit
Author(s)
Long, Fan
Rinard, Martin
Advisor(s)
Martin Rinard
Date Issued
March 5, 2015
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.
Subjects
Program Repair
Transformation Schema
Condition Synthesis
Persistent DSpace Link
