"Good Enough" Testing of Nondeterministic Parallel Programs.

Dieter Kranzlmller, Jochen Messner, Christian Schaubschlger

Browse the full PDPTA paper archive.