GH Hwang, KC Tai, TL Huang - International Journal of Software …, 1995 - World Scientific
Concurrent programs are more difficult to test than sequential programs because of non-
deterministic behavior. An execution of a concurrent program non-deterministically …