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 …

Most automated program repair methods rely on test cases to determine the correctness of
the generated patches. However, due to the incompleteness of available test suites, some …

Automated program repair (APR) has been gaining ground with substantial effort devoted to
the area, opening up many challenges and opportunities. One such challenge is that the …

Testing to detect semantic bugs is essential, especially for critical systems. Coverage-guided
fuzzing (CGF) and runtime assertion checking (RAC) are two well-known approaches for …

Unit tests that demonstrate why a program is incorrect have many potential uses, including
localizing bugs (ie, showing where code is wrong), improving test suites, and better code …

Automated program repair (APR) techniques that use test suites for bug localization and
assessing candidate patches have promising results. Studies have shown that generated …

Automated program repair (APR) tools have promising results, but what are APR's limits?
The answer could help researchers design tool trade-offs and manage user expectations …

JML is an ambitious project in formal specification and verification that has aimed to bring
value to Java programmers. As an international, cooperative effort, JML has been a uniting …

Concolic testing is an effective but expensive program analysis technology widely used for
detecting software vulnerabilities. In this approach, search heuristics play a key role in …

Automated program repair (APR) tools generally use a test suite to localize bugs and
validate patches. These patches may pass the test suite but still be incorrect, which is called …