CSAIL Work Products: Recent submissions
Now showing items 7-9 of 31
-
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 ... -
An Analysis of Patch Plausibility and Correctness for Generate-And-Validate Patch Generation Systems (Supplementary Material)
(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 ... -
Supplementary Materials for "A Survey of Corpora in Computational and Cognitive Narrative Science"
(2014-12-30)This archive contains supplementary materials for the article titled "A Survey of Corpora in Computational and Cognitive Narrative Science" by Mark A. Finlayson, published in the journal *Sprache und Datenverarbeitung*. ...