Program repair

Community-driven effort to facilitate discovery, access and systematization of data related to automated program repair research

Contribute Mailing list

What one would like ideally [...] is the automatic detection and correction of bugs

Resources

Up-to-date references to publicly available resources on automated program repair, related fields, and commercial applications

Bibliography

Tools

Benchmarks

Latest news

DBGBench — program repair benchmark

291 (in)correct patches from real software professionals for 27 real bugs in C for the qualitative evaluation of automated repair techniques:

https://dbgbench.github.io

Program repair @ESEC/FSE'17

The following program repair works are presented at European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) 2017 held in Paderborn, Germany:

S3: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples
D.X.B. Le, D.H. Chu, D. Lo, C. Le Goues, W. Visser

Automatically Diagnosing and Repairing Error Handling Bugs in C
Y. Tian, B. Ray

Synergistic Debug-Repair of Heap Manipulations
S. Verma, S. Roy

Better Test Cases for Better Automated Program Repair
J. Yang, A. Zhikhartsev, Y. Liu, L. Tan

A Feasibility Study of Using Automated Program Repair for Introductory Programming Assignments
J. Yi, U. Ahmed, A. Karkare, S.H. Tan, A. Roychoudhury

Where is the Bug and How is it Fixed? An Experiment with Practitioners
M. Boehme, E.O. Soremekun, S. Chattopadhyay, E. Ugherughe, A. Zeller

Automatic Inference of Code Transforms for Patch Generation Systems
F. Long, P. Amidon, M. Rinard

NoFAQ: Synthesizing Command Repairs from Examples
L. D'Antoni, R. Singh, M. Vaughn

Repairing Decision-Making Programs Under Uncertainty @CAV'17

The following program repair work is presented at Computer Aided Verification (CAV) 2017 held in Heidelberg, Germany:

Repairing Decision-Making Programs Under Uncertainty
A. Albarghouthi, L. D'Antoni, S. Drews

Impact of Tool Support in Patch Construction @ISSTA'17

The following program repair work is presented at International Symposium on Software Testing and Analysis 2017 held in Santa Barbara, California, United States:

Impact of Tool Support in Patch Construction
A. Koyuncu, T.F. Bissyande, D. Kim, J. Klein, M. Monperrus, Y. Le Traon

JFix — program repair tool for Java

Semantics-based repair framework for Java programs based on Symbolic PathFinder:

https://xuanbachle.github.io/semanticsrepair/

Identifying Test-Suite-Overfitted Patches through Test Case Generation @ISSTA'17

The following program repair work is presented at International Symposium on Software Testing and Analysis 2017 held in Santa Barbara, California, United States:

Identifying Test-Suite-Overfitted Patches through Test Case Generation
Q. Xin, S. Reiss

Automated Repair of Layout Cross Browser Issues Using Search-Based Techniques @ISSTA'17

The following program repair work is presented at International Symposium on Software Testing and Analysis 2017 held in Santa Barbara, California, United States:

Automated Repair of Layout Cross Browser Issues Using Search-Based Techniques
S. Mahajan, A. Alameer, P. McMinn, W.G.J. Halfond