A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs (via teymour) — discussion
#pdf #testing
