Developers of thread-safe classes struggle with two opposing goals. The class must be
correct, which requires synchronizing concurrent accesses, and the class should provide …

Concurrent, object-oriented programs often use thread-safe library classes. Existing
techniques for testing a thread-safe class either rely on tests using the class, on formal …

Active testing has recently been introduced to effectively test concurrent programs. Active
testing works in two phases. It first uses predictive off-the-shelf static or dynamic program …

Today many system benchmarks use throughput as a measure of performance. While
throughput is appropriate for benchmarking server environments, response time is a better …

Developers face a wide choice of programming languages and libraries supporting
multicore computing. Ever more diverse paradigms for expressing parallelism and …

Concurrent code is becoming increasingly important with the advent of multi-cores, but
testing concurrent code is challenging. Researchers are developing new testing techniques …

Concurrent programs are becoming common, while testing techniques that can adequately
test such programs are not widely available. Due to the nondeterministic nature of …

A managed runtime environment, such as the Java virtual machine, is non-trivial to
benchmark. Java performance is affected in various complex ways by the application and its …

Continuous integration (CI) emphasizes quick feedback to developers. This is at odds with
current practice of performance testing, which predominantely focuses on long-running tests …

There are many difficulties associated with developing correct multithreaded software, and
many of the activities that are simple for single threaded software are exceptionally hard for …