Browsing by Subject "Condition Synthesis"
Now showing items 1-2 of 2
-
Staged Program Repair in SPR
(2015-03-11)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 ...
-
Staged Program Repair in SPR (Supplementary Material)
(2015-03-05)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 ...