Chronicler: lightweight recording to reproduce field failures
BALLERINA: automatic generation and clustering of efficient random unit tests for multithreaded code