Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code.

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

Browse the full ICSE paper archive.