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

by Sebastian Burckhardt , Madanlal Musuvathi
Venue:In ASPLOS ’10: Proc. 15th International Conference on Architectural Support for Programming Languages and Operating Systems
Citations:29 - 2 self