Skip to main content
  1. All Posts/

program-repair.github.io

Tools HTML

program-repair.org

This website is a community-driven effort to provide up-to-date automated program repair bibliography, and links to publicly available tools and benchmarks.

Content Policy

The bibliography section lists publications on automated program repair that are

  • peer-reviewed;
  • designed/evaluated for program repair.

The bibliographic records on this website are automatically extracted from dblp.org.
The tools/benchmarks sections list only tools/benchmarks that

  • have corresponding publications in the bibliography section;
  • are publicly available;
  • are designed/evaluated for program repair.

The website hosts community pages — static webpages that present some useful information about program repair, e.g. visualise experiments. If you would like to maintain a community page under program-repair.org, please create an issue.

Contributions

The easiest way to contribute is to submit a new publication/tool/benchmark via GitHub issues. When submitting an issue, please provide the puiblication’s DBLP key. To obtain the DBLP key, find the publication on dblp.org, and hover your mouse over “export record”. To submit a new tool or benchmark, please provide the DBLP key of its corresponding publication. Note that publications appear on DBLP with a delay.
Alternatively, you can create a pull request. For that, you need to add your data into program-repair.org’s database stored in the data directory, and then regenerate the website. Note that when making simple changes, you can skip regenerating the website, because it will be done automatically by GitHub actions, but generally we recommend regenerating website to test your changes before creating a PR. If you want to verify your modifications locally, please:

  1. install Python 3 and dependencies (e.g. pip3 install -r requirements.txt);
  2. run build script (e.g. python3 build.py);
  3. open index.html in your browser to verify your modifications.

Maintenance

Mainteners routinary check for new program repair papers that appear in the venues below:
SE journals:

SE conferences:

PL conferences:

FM conferences:

ML conferences:

Workshops: