Program repair

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

Bibliography

AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
SANER 2019: 456-467

Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system
Zhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin Monperrus
Empirical Software Engineering 24(1): 33-67 (2019)

Common statement kind changes to inform automatic program repair
Mauricio Soto, Claire Le Goues
MSR 2018: 102-105

Bugs.jar: a large-scale, diverse dataset of real-world Java bugs
Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad
MSR 2018: 10-13

Symbolic execution with existential second-order constraints
Sergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik Roychoudhury
ESEC/SIGSOFT FSE 2018: 389-399

SketchFix: a tool for automated program repair approach using lazy candidate generation
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
ESEC/SIGSOFT FSE 2018: 888-891

View all »

Tools

JAID — an APR technique that uses detailed state abstractions to guide both fault localization and fix generation

JFix — semantics-based repair framework for Java programs

SimFix — fixing Java bugs by leveraging existing patches and similar code

View all »

Benchmarks

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

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

QuixBugs — A parallel corpus of 40 programs in both Python and Java, each with a bug on one line

View all »

Projects

Defects4J Dissection — presents data to help researchers and practitioners to better understand the Defects4J bug dataset

View all »