Test case prioritization (TCP) is a practical activity in software testing for exposing faults
earlier. Researchers have proposed many TCP techniques to reorder test cases. Among …

We present maximal causality reduction (MCR), a new technique for stateless model
checking. MCR systematically explores the state-space of concurrent programs with a …

Compiler testing is a crucial way of guaranteeing the reliability of compilers (and software
systems in general). Many techniques have been proposed to facilitate automated compiler …

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

As writing concurrent programs is challenging, developers often rely on thread-safe classes,
which encapsulate most synchronization issues. Testing such classes is crucial to ensure …

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 …

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

Testing multithreaded code is hard and expensive. A multithreaded unit test creates two or
more threads, each executing one or more methods on shared objects of the class under …

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

Multithreaded code is notoriously hard to develop and test. A multithreaded test exercises
the code under test with two or more threads. Each test execution follows some …