Adrian Nistor, Qingzhou Luo, Michael Pradel, Thomas R. Gross, Darko Marinov. Ballerina: Automatic generation and clustering of efficient random unit tests for multithreaded code. In Martin Glinz, Gail C. Murphy, Mauro Pezzè, editors, 34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland. pages 727-737, IEEE, 2012.
Abstract is missing.