BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code
CTrigger: exposing atomicity violation bugs from their hiding places