Automatic Testing of Nondeterministic Parallel Programs.

Dieter Kranzlmller, Markus Lberbauer, Martin Maurer, Christian Schaubschlger, Jens Volkert

Browse the full PDPTA paper archive.