Code analysis brings excellent benefits to software development, maintenance, and quality
assurance. Various tools can uncover code defects or even software bugs in a range of …

Software bugs are inevitable in software-defined networking control software, and
troubleshooting is a tedious, time-consuming task. In this paper we discuss how to improve …

Programming languages based on the actor model, such as Erlang, avoid some
concurrency bugs by design. However, other concurrency bugs, such as message order …

The long-standing aspiration for software reuse has made astonishing strides in the past few
years. Many modern software development ecosystems now come with rich sets of publicly …

When troubleshooting buggy executions of distributed systems, developers typically start by
manually separating out events that are responsible for triggering the bug (signal) from …

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

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 …

We present the techniques used in Concuerror, a systematic testing tool able to find and
reproduce a wide class of concurrency errors in Erlang programs. We describe how we take …

Many large applications are now built using collections of microservices, each of which is
deployed in isolated containers and which interact with each other through the use of remote …

We present Quickstrom, a property-based testing system for acceptance testing of interactive
applications. Using Quickstrom, programmers can specify the behaviour of web applications …