Dieter Kranzlmüller Markus Löberbauer Martin Maurer Christian Schaubschläger Jens Volkert Automatic Testing of Nondeterministic Parallel Programs. 538-544 2002 conf/pdpta/2002-2 PDPTA db/conf/pdpta/pdpta2002-2.html#KranzlmullerLMSV02