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

Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation @TACAS'17

The following program repair work is presented at International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) held in Uppsala, Sweden:

Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
T. Nguyen, D. Kapur, S. Forrest, W. Weimer

Codeflaws — program repair benchmark

Codeflaws benchmark contains 3902 bugs from Codeforces programming competition for evaluating program repair tools across different defect classes:

https://codeflaws.github.io/

Production-Driven Patch Generation @ICSE'17

The following program repair work is presented at International Conference on Software Engineering 2017 (NIER Track) held in Buenos Aires, Argentina:

Production-Driven Patch Generation
T. Durieux, Y. Hamadi, M. Monperrus

Learning Syntactic Program Transformations from Examples @ICSE'17

The following program repair work is presented at International Conference on Software Engineering 2017 held in Buenos Aires, Argentina:

Learning Syntactic Program Transformations from Examples
R. Rolim, G. Soares, L. D'Antoni, O. Polozov, S. Gulwani, R. Gheyi, R. Suzuki, B. Hartmann.

Repairing Event Race Errors by Controlling Nondeterminism @ICSE'17

The following program repair work is presented at International Conference on Software Engineering 2017 held in Buenos Aires, Argentina:

Repairing Event Race Errors by Controlling Nondeterminism
C. Adamsen, A. Møller, R. Karim, M. Sridharan, F. Tip, K. Sen.

DeepFix — program repair tool for C

DeepFix is a new tool for fixing common programming errors based on deep learning:

http://www.iisc-seal.net/deepfix

DeepFix: Fixing Common C Language Errors by Deep Learning @AAAI'17

The following program repair work is presented at Conference on Artificial Intelligence (AAAI) 2017 held in San Francisco, California, USA:

DeepFix: Fixing Common C Language Errors by Deep Learning
R. Gupta, S. Pal, A. Kanade, S. Shevade.

Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming @SANER'17

The following program repair work is presented at International Conference on Software Analysis, Evolution and Reengineering (SANER) 2017 held at the Alpen-Adria University Klagenfurt, Austria:

Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming
T. Durieux, B. Cornu, L. Seinturier, M. Monperrus.

ACS — program repair tool for Java

ACS is a new program repair tool for Java with accurate condition synthesis:

https://github.com/Adobee/ACS

Precise Condition Synthesis for Program Repair @ICSE'17

The following program repair work is presented at International Conference on Software Engineering 2017 held in Buenos Aires, Argentina:

Precise Condition Synthesis for Program Repair
Y. Xiong, J. Wang, R. Yan, J. Zhang, S. Han, G. Huang, L. Zhang.