Concurrency testing using schedule bounding: an empirical study.

Paul Thomson, Alastair F. Donaldson, Adam Betts

Browse the full PPoPP paper archive.