Automated Program Repair

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

Contribute Subscribe

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

Program repair at FSE'16

The following program repair works are presented at International Symposium on the Foundations of Software Engineering 2016 held in Seattle, WA, USA:

S. Tan, H. Yoshida, M. Prasad, A. Roychoudhury. Anti-patterns in Search-based Program Repair

Program repair at CAV'16

The following program repair works are presented at International Conference on Computer Aided Verification 2016 held in Toronto, Ontario, Canada:

L. D'Antoni, R. Samanta, R. Singh. Qlose: Program Repair with Quantiative Objectives

Program repair at ICSE'16

The following program repair works are presented at International Conference on Software Engineering 2016 held in Austin, Texas, USA:

S. Mechtaev, J. Yi, A. Roychoudhury. Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis

F. Long, M. C. Rinard. Analysis of the Search Spaces for Generate and Validate Patch Generation Systems

Angelix — new open source repair tool

Angelix is a new program repair tool released under MIT licence. Information about this tool can be found on the following website:

https://github.com/mechtaev/angelix

Program repair at POPL'16

The following program repair works are presented at Symposium on Principles of Programming Languages 2016 held in St. Petersburg, Florida, USA:

F. Long, M. C. Rinard. Prophet: Automatic Patch Generation via Learning From Successful Patches