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

Several recently proposed randomized testing tools for concurrent and distributed systems
come with theoretical guarantees on their success. The key to these guarantees is a notion …

Distributed systems are difficult to design and implement correctly. In response, both
research and industry are exploring applications of formal methods to distributed systems. A …

Despite their wide deployment, distributed systems remain notoriously hard to reason about.
Unexpected interleavings of concurrent operations and failures may lead to undefined …

Testing distributed systems is challenging due to multiple sources of nondeterminism.
Conventional testing techniques, such as unit, integration and stress testing, are ineffective …

It is crucial for distributed systems to achieve high availability. Unfortunately, this is
challenging given the common component failures (ie, faults). Developers often cannot …

This paper describes the design and implementation of the open-source tool for testing
concurrent programs written in the language. provides algorithmic capabilities to explore the …

A real-world distributed system is rarely implemented as a standalone monolithic system.
Instead, it is composed of multiple independent interacting components that together ensure …

We present an independent empirical study on concurrency testing using controlled
schedulers. We have gathered 49 buggy concurrent software benchmarks, drawn from …

Concurrency bugs are notoriously hard to detect and reproduce. Controlled concurrency
testing (CCT) techniques aim to offer a solution, where a scheduler explores the space of …