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

by S Burckhardt, P Kothari, M Musuvathi, S Nagarakatte
Venue:In Proceedings of the 15th Edition of ASPLOS on Architectural Support 10 2015/6/28 for Programming Languages and Operating Systems,