BALLERINA: Automatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code

by Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov