A randomized scheduler with probabilistic guarantees of finding bugs (2010)

by S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
Venue:In ASPLOS