Checking automatically the output of concurrent threads.

Rainer Oechsle, Kay Barzen

Browse the full ITiCSE paper archive.