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 International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS