This article presents a survey on automatic software repair. Automatic software repair
consists of automatically finding a solution to software bugs without human intervention. This …

We present Prophet, a novel patch generation system that works with a set of successful
human patches obtained from open-source software repositories to learn a probabilistic …

We present the first systematic analysis of key characteristics of patch search spaces for
automatic patch generation systems. We analyze sixteen different configurations of the patch …

Search-based program repair automatically searches for a program fix within a given repair
space. This may be accomplished by retrofitting a generic search algorithm for program …

Static analysis tools have demonstrated effectiveness at finding bugs in real world code.
Such tools are increasingly widely adopted to improve software quality in practice …

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 …

The goal of automatic program repair is to identify a set of syntactic changes that can turn a
program that is incorrect with respect to a given specification into a correct one. Existing …

Students have enthusiastically taken to online programming lessons and contests.
Unfortunately, they tend to struggle due to lack of personalized feedback. There is an urgent …

We present an approach to program repair and its application to programs with recursive
functions over unbounded data types. Our approach formulates program repair in the …

Automatic program repair modifies a faulty program to make it correct with respect to a
specification. Previous approaches have typically been restricted to specific programming …