Parallel and Distributed Systems: Testing and Debugging
Concurrent and distributed programs introduce two interesting problems: nondeterminism and an exponential space of possible interleavings of program threads. Since contemporary business software is often distributed, and a parallel desk-top that uses several CPUs is rapidly being introduced, the testing and debugging of such programs is of vital practical importance. In fact, specialized techniques and tools are required for testing such programs.
To facilitate research in this area, we have established the PADTAD forum, a peer-reviewed workshop on parallel and distributed testing and debugging. In its first two very fruitful years, the PADTAD workshop brought together a unique combination of researchers from both academia and industry (NASA, Intel, IBM). A special issue of "Concurrency and Computation: Practice and Experience" which summarizes the workshops of 2003 and 2004 is forthcoming. The creation of a research community fostered a productive exchange of ideas, as well as follow-up work and collaboration.