Some commonly used methods have nondeterministicspecifications, eg, iterating through a
set canreturn the elements in any order. However, non-deterministicspecifications typically …

Multi‐threaded code is becoming very common, both on the server side, and very recently
for personal computers as well. Consequently, looking for intermittent bugs is a problem that …

This paper presents a model-driven, stress test methodology aimed at increasing chances of
discovering faults related to network traffic in distributed real-time systems (DRTS). The …

Device, system, and method of debugging computer programs. For example, a method for
debugging computer programs includes: locating a bug in a computer program based on a …

Summary form only given. Testing multithreaded, concurrent, or distributed programs is
acknowledged to be a very difficult task. We decided to create a benchmark of programs …

Detecting bugs in concurrent software is challenging due to the many different thread
interleavings. Dynamic analysis and testing solutions to bug detection are often costly as …

Forward-porting reintroduces previously detected and patched software bugs from older
versions into later ones to create benchmarking workloads for fuzzing. These benchmarks …

A noise maker is a tool that seeds a concurrent program with conditional synchronization
primitives (such as yield ()) for the purpose of increasing the likelihood that a bug manifest …

The Java programming language supports concurrency. Concurrent programs are harder to
verify than their sequential counterparts due to their inherent non‐determinism and a …

Testing of concurrent software written in programming languages like Java and C/C++ is a
highly challenging task owing to the many possible interactions among threads. A simple …