Grey-box fuzz testing has revealed thousands of vulnerabilities in real-world software owing
to its lightweight instrumentation, fast coverage feedback, and dynamic adjusting strategies …

Under a relaxed memory model such as TSO or PSO, a concurrent program running on a
shared-memory multiprocessor may observe two types of nondeterminism: the …

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

We introduce a structure-aware parallel technique for context-bounded analysis of
concurrent programs. The key intuition consists in decomposing the set of concurrent traces …

Controlled concurrency testing (CCT) techniques have been shown promising for
concurrency bug detection. Their key insight is to control the order in which threads get …

Discovering kernel concurrency bugs through fuzzing is challenging. Identifying kernel
concurrency bugs, as opposed to non-concurrency bugs, necessitates an analysis of …

Background: Concurrent software testing is a costly and difficult task, especially due to the
exponential increase in the test sequences caused by non-determinism. Such an issue has …

Kernel concurrency bugs are notoriously difficult to find during testing since they are only
triggered under certain instruction interleavings. Unfortunately, no tools for systematically …

We present the first independent empirical study on schedule bounding techniques for
systematic concurrency testing (SCT). We have gathered 52 buggy concurrent software …

We present Magiclock, a novel potential deadlock detection technique by analyzing
execution traces (containing no deadlock occurrence) of large-scale multithreaded …