Testing and Debugging Concurrent Programs
Richard H. Carver, Kuo‐Chung Tai · 2005
This chapter contains sections titled: Synchronization Sequences of Concurrent Programs Paths of Concurrent Programs Definitions of Correctness and Faults for Concurrent Programs Approaches to Testing Concurrent Programs Reachability Testing Further Reading References Exercises