Staged program repair with condition synthesis
Authors:
Open Access
- 30 August 2015
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 166-178
Abstract
We present SPR, a new program repair system that combines staged program repair and condition synthesis. These techniques enable SPR to work productively with a set of parameterized transformation schemas to generate and efficiently search a rich space of program repairs. Together these techniques enable SPR to generate correct repairs for over five times as many defects as previous systems evaluated on the same benchmark set.Keywords
Funding Information
- DARPA (FA8650-11-C-7192)
This publication has 33 references indexed in Scilit:
- Deductive Program Repair2015
- An analysis of patch plausibility and correctness for generate-and-validate patch generation systems2015
- Automatic error elimination by horizontal code transfer across multiple applicationsACM SIGPLAN Notices, 2015
- Automatic error elimination by horizontal code transfer across multiple applications2015
- Automatic runtime error repair and containment via recovery shepherdingACM SIGPLAN Notices, 2014
- Automated Fixing of Programs with ContractsIEEE Transactions on Software Engineering, 2014
- Mining software repair models for reasoning on the search space of automated program fixingEmpirical Software Engineering, 2013
- Self-stabilizing Java2012
- Detecting and eliminating memory leaks using cyclic memory allocation2007
- Simplifying and isolating failure-inducing inputIEEE Transactions on Software Engineering, 2002