Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT

Elements of the self-healing system problem space

Philip Koopman · 2003

Earlier work this paper cites.

Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact

Hyunsook Do, Sebastian Elbaum, and Gregg Rothermel · 2005

Earlier work this paper cites.

An evaluation of similarity coefficients for software fault localization

Rui Abreu, Peter Zoeteweij, and Arjan JC Van Gemund · 2006

Earlier work this paper cites.

Spoon: Program analysis and transformation in java

R. Pawlak, C. Noguera, and N. Petitprez · 2006

Earlier work this paper cites.

Patches as better bug reports

W. Weimer · 2006

Earlier work this paper cites.

Locating faults through automated predicate switching

Original

Xiangyu Zhang, Neelam Gupta, and Rajiv Gupta · 2006

Earlier work this paper cites.

Fault localization using value replacement

Dennis Jeffrey, Neelam Gupta, and Rajiv Gupta · 2008

Cited alongside, same era.

Toward an understanding of bug fix patterns

Kai Pan, Sunghun Kim, and E James Whitehead Jr · 2009

Cited alongside, same era.

Oracle-guided component-based program synthesis

Susmit Jha, Sumit Gulwani, Sanjit A Seshia, and Ashish Tiwari · 2010

Cited alongside, same era.

Angelic debugging

Satish Chandra, Emina Torlak, Shaon Barman, and Rastislav Bodik · 2011

Cited alongside, same era.

jSMTLIB: Tutorial, validation and adapter tools for SMT-LIBv2

David R Cok · 2011

Cited alongside, same era.

Synthesis of loop-free programs

Sumit Gulwani, Susmit Jha, Ashish Tiwari, and Ramarathnam Venkatesan · 2011

Cited alongside, same era.

Gzoltar: an eclipse plug-in for testing and debugging

José Campos, André Riboira, Alexandre Perez, and Rui Abreu · 2012

Later among the works it cites.

Genprog: A generic method for automatic software repair

Claire Le Goues, ThanhVu Nguyen, Stephanie Forrest, and Westley Weimer · 2012

Later among the works it cites.

Automatic patch generation learned from human-written patches

Dongsun Kim, Jaechang Nam, Jaewoo Song, and Sunghun Kim · 2013

Later among the works it cites.

Mining software repair models for reasoning on the search space of automated program fixing

Matias Martinez and Martin Monperrus · 2013

Later among the works it cites.

SemFix: Program Repair via Semantic Analysis

Hoang Duong Thien Nguyen, Dawei Qi, Abhik Roychoudhury, and Satish Chandra · 2013

Later among the works it cites.

A critical review of “automatic patch generation learned from human-written patches”: An essay on the problem statement and the evaluation of automatic software repair