A randomized scheduler with probabilistic guarantees of finding bugs

Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte

Research output: Contribution to journalArticlepeer-review

61 Scopus citations

Fingerprint

Dive into the research topics of 'A randomized scheduler with probabilistic guarantees of finding bugs'. Together they form a unique fingerprint.

Engineering & Materials Science