A test framework for verifying concurrency anomalies

concise