Abstract
Several proposals exist to support the test of concurrent programs. In general, the proposals concern static or dynamic analysis, message-passing and shared-memory paradigm, programming language and the use of patterns. These works deal with different testing approaches such as fault injection, formal verification, test-driven development, controlled execution, mutation testing, model-bas…