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

Astor — program repair framework for Java

Astor is a new automatic software repair framework for Java (incl. GenProg, Kali and mutation repair for Java). Information about this tool can be found on the following website:

https://github.com/SpoonLabs/astor

Program repair at FM'16

The following program repair works are presented at International Symposium on Formal Methods 2016 held in Limassol, Cyprus:

B. Rothenberg and O. Grumberg. Sound and Complete Mutation-Based Program Repair

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

H. Liu, Y. Chen, S. Lu. Understanding and Generating High Quality Patches for Concurrency Bugs

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