@INPROCEEDINGS{icse2012-ballerina,
  author = {Adrian Nistor and Qingzhou Luo and Michael Pradel and Thomas R. Gross and Darko Marinov},
  title = {{BALLERINA}: {A}utomatic Generation and Clustering of Efficient Random Unit Tests for Multithreaded Code},
  booktitle = {International Conference on Software Engineering (ICSE)},
  year = {2012}
}