Synthesizing tests for detecting atomicity violations
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code