Testing Race Conditions: Making Nondeterminism Reproducible

A passing concurrency test usually proves that one schedule was safe, not that the program was safe. If the failure depends on two operations landing in a narrow order, adding more loop iterations oft