@inproceedings{LeLeYi12,
  author = "Woosuk Lee and Wonchan Lee and Kwangkeun Yi",
  title = "Sound Non-Statistical Clustering of Static Analysis Alarms",
  booktitle = "VMCAI 2012: 13th International Conference on Verification, Model Checking, and Abstract Interpretation",
  volume = "7148",
  series = "Lecture Notes in Computer Science",
  pages = "299--314",
  year = "2012",
  publisher = "Springer"
}