Concurrent programs are hard to test because of the non-determinism inherit in them. Since
non-determinism is one of the major sources of bugs, it is important to to be tested. We …

The challenge this thesis addresses is to speed up the development of concurrent programs
by increasing the efficiency with which concurrent programs can be tested and consequently …

Concurrent programs exhibit nondeterministic behavior in that multiple executions thereof
with the same input might produce different sequences of synchronization events and …

Testing concurrent programs is a challenging problem:(1) the tester has to come up with a
set of input values that may trigger a bug, and (2) even with a bug-triggering input value …

Concurrent programs are more difficult to test than sequential programs because of non-
deterministic behavior. An execution of a concurrent program non-deterministically …

Non-deterministic testing is the most widely used approach for testing concurrent programs
in practice. However, it is typically conducted in an ad-hoc manner. In this paper, we …

Testing concurrent programs remains a difficult task due to the non-deterministic nature of
concurrent execution. Many approaches have been proposed to tackle the complexity of …

The testing of concurrent programs is very complex due to the non-determinism present in
those programs. They must be subjected to a systematic testing process that assists in the …

This lecture captures industrial and academic experience in teaching concurrent
programming for several years. While the statement of a concurrent protocol is typically …

In this paper, we describe a new test framework for concurrent programs. Testing on
concurrent programs remains difficult due to the non-deterministic nature of concurrent …