@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},
   series = {Lecture Notes in Computer Science},
   publisher = {Springer},
   year = {2012},
   category = {program-analysis-tools},
   format = {pdf},
}