PulseExploreJournal ClubDebatesTrendingResearchersJournals
Instagram
HomeExploreJournal ClubTrending
Synapse
⌘+K
Synapse
August 26, 2015355 citations

Staged program repair with condition synthesis

View Full Paper
FLFan LongMRMartin Rinard

Key Points

Key points are not available for this paper at this time.

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.

Ask AI
Helpful
Bookmark
Share
View Full Paper

Cite This Study

Long et al. (2015) studied this question.

synapsesocial.com/papers/6a0ead71a14f152feaf9b1c0https://doi.org/10.1145/2786805.2786811
Ask AI
Helpful
Bookmark
Share
View Full Paper

Also Consider

Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Staged Program Repair in SPR2015 · 10 citations
  2. 2An analysis of patch plausibility and correctness for generate-and-validate patch generation systems2015 · 424 citations
  3. 3SemFix: program repair via semantic analysis2013 · 411 citations
  4. 4Automatic detection and repair of errors in data structures2003 · 203 citations
  5. 5A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair2014 · 177 citations