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 …

Smart contract vulnerability detection draws extensive attention in recent years due to the
substantial losses caused by hacker attacks. Existing efforts for contract security analysis …

The security problems of smart contracts have drawn extensive attention due to the
enormous financial losses caused by vulnerabilities. Existing methods on smart contract …

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 …

Since debugging is a time-consuming activity, automated program repair tools such as
GenProg have garnered interest. A recent study revealed that the majority of GenProg …

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

We analyze reported patches for three existing generate-and-validate patch generation
systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate …

There are more bugs in real-world programs than human programmers can realistically
address. This paper evaluates two research questions:“What fraction of bugs can be …

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

Recent advances in program repair techniques have raised the possibility of patching bugs
automatically. For an automatically generated patch to be accepted by developers, it should …