Despite decades of work by researchers and practitioners on numerous software quality
assurance techniques, testing remains one of the most widely practiced and studied …

Many modern software systems are composed of multiple execution flows that run
simultaneously, spanning from applications designed to exploit the power of modern multi …

We present D4, a fast concurrency analysis framework that detects concurrency bugs (eg,
data races and deadlocks) interactively in the programming phase. As developers add …

Software updates often introduce new bugs to existing code bases. Prior regression testing
tools focus mainly on test case selection and prioritization whereas symbolic execution tools …

During software evolution, the source code of a system frequently changes due to bug fixes
or new feature requests. Some of these changes may accidentally degrade performance of a …

Multi-threaded programs are pervasive, yet difficult to write. Missing proper synchronization
leads to correctness bugs and over synchronization leads to performance problems. To …

Researchers have proposed various approaches to detect concurrency bugs and improve
multi-threaded programs, but performing evaluations of the effectiveness of these …

Dynamic data race detection incurs heavy runtime overheads. Recently, many sampling
techniques have been proposed to detect data races. However, some sampling techniques …

Regression testing is indispensable, especially for real-time distributed systems to ensure
that existing functionalities are not affected by changes. Despite recent advances …

Concurrent programs proliferate as multi-core technologies advance. The regression testing
of concurrent programs often requires running a failing test for weeks before catching a …