"Good Enough" Testing of Nondeterministic Parallel Programs.

Dieter Kranzlmüller Jochen Messner Christian Schaubschläger "Good Enough" Testing of Nondeterministic Parallel Programs. 641-646 1999 conf/pdpta/1999 PDPTA db/conf/pdpta/pdpta1999-2.html#KranzlmullerMS99