@INPROCEEDINGS{icse2012-leveraging,
  author = {Michael Pradel and Thomas R. Gross},
  title = {Leveraging Test Generation and Specification Mining for Automated Bug Detection without False Positives},
  booktitle = {International Conference on Software Engineering (ICSE)},
  year = {2012}
}