Automatic Repair of Infinite Loops

Y-branches: When you come to a fork in the road, take it

Original

N. Wang, M. Fertig, and S. Patel · 2003

Earlier work this paper cites.

A novel co-evolutionary approach to automatic software bug fixing

A. Arcuri and X. Yao · 2008

Earlier work this paper cites.

Looper: Lightweight detection of infinite loops at runtime

J. Burnim, N. Jalbert, C. Stergiou, and K. Sen · 2009

Earlier work this paper cites.

Generating fixes from object behavior anomalies

V. Dallmeier, A. Zeller, and B. Meyer · 2009

Earlier work this paper cites.

Common trends in software fault and failure data

M. Hamill and K. Goseva-Popstojanova · 2009

Earlier work this paper cites.

Oracle-guided component-based program synthesis

S. Jha, S. Gulwani, S. A. Seshia, and A. Tiwari · 2010

Cited alongside, same era.

Detecting and escaping infinite loops with jolt

M. Carbin, S. Misailovic, M. Kling, and M. C. Rinard · 2011

Cited alongside, same era.

Angelic debugging

S. Chandra, E. Torlak, S. Barman, and R. Bodik · 2011

Cited alongside, same era.

Genprog: A generic method for automatic software repair

C. L. Goues, T. Nguyen, S. Forrest, and W. Weimer · 2012

Cited alongside, same era.

Automatic patch generation learned from human-written patches

D. Kim, J. Nam, J. Song, and S. Kim · 2013

Cited alongside, same era.

Semfix: Program repair via semantic analysis

H. D. T. Nguyen, D. Qi, A. Roychoudhury, and S. Chandra · 2013

Later among the works it cites.

Automatic repair of buggy if conditions and missing preconditions with smt

F. Demarco, J. Xuan, D. L. Berre, and M. Monperrus · 2014

Later among the works it cites.

A Critical Review of "Automatic Patch Generation Learned from Human-Written Patches": Essay on the Problem Statement and the Evaluation of Automatic Software Repair

M. Monperrus · 2014

Later among the works it cites.

A fixed-point algorithm for automated static detection of infinite loops

A. Ibing and A. Mai · 2015

Closest in time.