Testing Concurrent Objects with Application-Specific Schedulers.

Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen

Browse the full ICTAC paper archive.