Large language models such as Codex, have shown the capability to produce code for
many programming tasks. However, the success rate of existing models is low, especially for …

With the rapid development and large-scale popularity of program software, modern society
increasingly relies on software systems. However, the problems exposed by software have …

Learning-based program repair has achieved good results in a recent series of papers. Yet,
we observe that the related work fails to repair some bugs because of a lack of knowledge …

Automated program repair is an emerging technology that seeks to automatically rectify
bugs and vulnerabilities using learning, search, and semantic analysis. Trust in …

Automated program repair has been used to provide feedback for incorrect student
programming assignments, since program repair captures the code modification needed to …

Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …

Automatically repairing a buggy program is essentially a search problem, searching for code
transformations that pass a set of tests. Various search strategies have been explored, but …

Automated program repair is an emerging technology that seeks to automatically rectify
program errors and vulnerabilities. Repair techniques are driven by a correctness criterion …

The Rust programming language, with its safety guarantees, has established itself as a
viable choice for low-level systems programming language over the traditional, unsafe …

Existing program repair systems modify a buggy program so that the modified program
passes given tests. The repaired program may not satisfy even the most basic notion of …