In the past decade, research on test-suite-based automatic program repair has grown
significantly. Each year, new approaches and implementations are featured in major …

Formally verifying software is a highly desirable but labor-intensive task. Recent work has
developed methods to automate formal verification using proof assistants, such as Coq and …

Neural machine translation (NMT) architectures have achieved promising results for
automatic program repair. Yet, they have the limitation of generating low-quality patches (eg …

Deep neural networks (DNN) have been shown to be notoriously brittle to small
perturbations in their input data. This problem is analogous to the over-fitting problem in test …

Test-based automated program repair (APR) has attracted huge attention from both industry
and academia. Despite the significant progress made in recent studies, the overfitting …

A large body of the literature of automated program repair develops approaches where
patches are generated to be validated against an oracle (eg, a test suite). Because such an …

Despite the capability in successfully fixing more and more real-world bugs, existing
Automated Program Repair (APR) techniques are still challenged by the long-standing …

Issue tracking systems are commonly used in modern software development for collecting
feedback from users and developers. An ultimate automation target of software maintenance …

Automated program repair (APR) faces the challenge of test overfitting, where generated
patches pass validation tests but fail to generalize. Existing methods for patch assessment …

Automatic program repair papers tend to repeatedly use the same benchmarks. This poses
a threat to the external validity of the findings of the program repair research community. In …