Program repair

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

Bibliography

Code Naturalness to Assist Search Space Exploration in Search-Based Program Repair Methods
Altino Dantas, Eduardo Faria de Souza, Jerffeson Teixeira de Souza, Celso G. Camilo-Junior
SSBSE 2019: 164-170

BugSwarm: mining and continuously growing a dataset of reproducible failures and fixes
David A. Tomassi, Naji Dmeiri, Yichen Wang, Antara Bhowmick, Yen-Chuan Liu, Premkumar T. Devanbu, Bogdan Vasilescu, Cindy Rubio-González
ICSE 2019: 339-349

Symbolic repairs for GR(1) specifications
Shahar Maoz, Jan Oliver Ringert, Rafi Shalom
ICSE 2019: 1016-1026

Detection and repair of architectural inconsistencies in Java
Negar Ghorbani, Joshua Garcia, Sam Malek
ICSE 2019: 560-571

On reliability of patch correctness assessment
Xuan-Bach D. Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu
ICSE 2019: 524-535

VFix: value-flow-guided precise program repair for null pointer dereferences
Xuezheng Xu, Yulei Sui, Hua Yan, Jingling Xue
ICSE 2019: 512-523

View all »

Tools

AVATAR — fixing Java bugs by the fix patterns of static analysis violations (FindBugs violations)

kPAR — Java implementation of PAR: fixing Java bugs with pre-defined fix patterns

BugZoo — a platform for studying historical software bugs

View all »

Benchmarks

DroixBench — a collection of 24 reproducible crashes in open-source Android apps

Bears — an extensible Java bug benchmark for automatic program repair studies

BugSwarm — a dataset of thousands of real software bugs and their fixes

View all »

Pages

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

RepairThemAll experiment — presents experimental data obtained using RepairThemAll framework

View all »