Automated program repair (APR) aims to fix software bugs automatically and plays a crucial
role in software development and maintenance. With the recent advances in deep learning …

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 …

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 …

With our reliance on software continuously increasing, it is of utmost importance that it be
reliable. However, complete prevention of bugs in live systems is unfortunately an …

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 …

Formal methods are used for verifying software correctness and reliability, especially for
safety-and security-critical systems. After changing or refactoring code, it is often necessary …

Although fuzzers have been successful in revealing semantic bugs that lead to crashes, they
do not reveal semantic bugs that do not lead to crashes. Furthermore, the inputs that lead to …