program-repair

Software development bots for Github. Join the bot revolution! 🌟🤖🌟💞

Automatic program repair for Java with generate-and-validate techniques ✌️✌️: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)

[ICML 2020] DrRepair: Learning to Repair Programs from Error Messages

Semantic program repair system for C programs

Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.

[ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair

Automated program repair bibliography, tools and benchmarks.

A High-performance, High-extensibility and High-portability APR System

Code of our paper Applying CodeBERT for Automated Program Repair of Java Simple Bugs which is accepted to MSR 2021.

CPR: A new automated program repair technique based on concolic execution which works on patch abstraction with the sub-optimal goal of refining the patch to less over-fit the initial test cases.

This is an automated transformation inference tool that leverages a big code corpus to guide the abstraction of transformation patterns.

Fast analysis-guided rewrite system for Java source code

A Python library for easy and fast program transformation/repair

FixMorph is a morphing tool for C source codes which supports automated code-transfer

Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (SANER'17)

A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass

Bug Report driven Program Repair

Open science data of the Repairnator project

Efficient patch generation engine for C/C++ programs

Automated Patch transplantation tool for C programs

An attempt at detecting SStuBs using a pre-trained transformer and repairing them with a seq2seq model.

51 Java regression bugs from 28 open-source projects (extracted from BugSwarm & Bears benchmarks)

Mutation Testing and Automated Program Repair Tool for Ajax Web Applications

IntroClass dataset for BugZoo

CETI (Correcting Errors using Test-input) is an automatic program repair technique that uses test-input generation to repair C programs. The idea is to convert the buggy program/test suite specification into another program consisting of a location reachable iff the buggy program can be repair to pass the given test suite.

Program Vulnerability Repair via Inductive Inference

Automated Repair of Regression Errors for Java Programs

A dataset of Java bugs for automatic repair, derived from the C bugs of IntroClass