Browsing CSAIL Work Products by Author "Long, Fan"
Now showing items 1-3 of 3
-
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)
Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin (2015-05-21)We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of errors in the patch evaluation infrastructure, the majority of the reported patches violate ... -
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)
Qi, Zichao; Long, Fan; Achour, Sara; Rinard, Martin (2015-02-02)We analyze reported patches for three prior generate-and-validate patch generation systems (GenProg, RSRepair, and AE). Because of experimental error, the majority of the reported patches violate the basic principle behind ... -
Staged Program Repair in SPR (Supplementary Material)
Long, Fan; Rinard, Martin (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 ...