Waiting for race conditions is a terrible testing strategy
Why model checking beats days of production runtime for finding concurrency bugs, and how to apply it to your own code.
Waiting for race conditions to surface in production is not testing. It is hope dressed up as diligence. You can run your app for weeks, watch your metrics…