A test framework for verifying concurrency anomalies