Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code | IEEE Conference Publication | IEEE Xplore