A test framework for verifying concurrency anomalies

Tricky stuff. I feel you need tests for your tests. Seriously.