· 2015
Staged program repair with condition synthesis
- 358citations
- 2015year
Short summary
SPR, a new program repair system, combines staged repair and condition synthesis to generate and search program repairs, achieving over five times more correct repairs than previous systems on the same benchmark.
AI-generated from the title and abstract; the full text is not read.
Key points
- Introduces SPR, a novel program repair system.
- Combines staged program repair and condition synthesis techniques.
- Utilizes parameterized transformation schemas for repair generation.
- Achieved over 5x more correct repairs than previous systems on a benchmark.
AI-generated from the title and abstract; the full text is not read.
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.
The authors' abstract, as published at the source., 2015 · DOI ↗
Continue with a free account
Ask the paper: 3 free questions a day about this paper; save it, get its citation, new summaries every day for your field. Takeaways are Premium.
Continue free on the webSign in with Google or Apple; no card needed. You come back to this paper.
On your phone:
Field: Software
SoftwareComputer Science