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 …

Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …

We revisit the performance of template-based APR to build comprehensive knowledge
about the effectiveness of fix patterns, and to highlight the importance of complementary …

The problem of fixing errors in programs has attracted substantial interest over the years.
The key challenge for building an effective code fixing tool is to capture a wide range of …

Effective automated program repair techniques have great potential to reduce the costs of
debugging and maintenance. Previously proposed automated program repair (APR) …

Patching is a common activity in software development. It is generally performed on a source
code base to address bugs or add new functionalities. In this context, given the recurrence of …

The field of automated software repair lacks a set of common benchmark problems.
Although benchmark sets are used widely throughout computer science, existing …

Automated program repair has shown promise for reducing the significant manual effort
debugging requires. This paper addresses a deficit of earlier evaluations of automated …

Fix pattern-based patch generation is a promising direction in Automated Program Repair
(APR). Notably, it has been demonstrated to produce more acceptable and correct patches …

We present VERISMART, a highly precise verifier for ensuring arithmetic safety of Ethereum
smart contracts. Writing safe smart contracts without unintended behavior is critically …