Tests that fail inconsistently, without changes to the code under test, are described as flaky.
Flaky tests do not give a clear indication of the presence of software bugs and thus limit the …

Regression testing is a crucial part of software development. It checks that software changes
do not break existing functionality. An important assumption of regression testing is that test …

Concurrency is pervasive in large systems. Unexpected interference among threads often
results in “Heisenbugs” that are extremely difficult to reproduce and eliminate. We have …

The automation of software testing promises to delegate to machines what is otherwise the
most labor-intensive and expensive part of software development. The past decade has …

This paper presents a randomized scheduler for finding concurrency bugs. Like current
stress-testing methods, it repeatedly runs a given test program with supplied inputs …

We present and categorize a taxonomy of concurrent bug patterns. We then use the
taxonomy to create new timing heuristics for ConTest. Initial industrial experience indicates …

We provide a new characterization of scheduling nondeterminism by allowing deterministic
schedulers to delay their next-scheduled task. In limiting the delays an otherwise …

Concurrency is a fundamental attribute of systems software. Asynchronous computation is
the norm in important software components such as operating systems, databases, and web …

The current increased demand for distributed applications in domains such as web services
and cloud computing has significantly increased interest in concurrent programming. This …

We present a new technique to find real deadlocks in concurrent programs that use locks.
For 4.5 million lines of Java, our technique found almost twice as many real deadlocks as …