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

by M Musuvathi, S Burckhardt, P Kothari, S Nagarakatte
Venue:In Intl. Conf. on Architectural Support for Programming Languages and Operating Systems