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

#pdf #testing