@inproceedings{JuKiShYi05,
  author = "Yungbum Jung and Jaehwang Kim and Jaeho Shin and Kwangkeun Yi",
  title = "Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis",
  booktitle = "SAS 2005: 12th Annual International Static Analysis Symposium",
  volume = "3672",
  series = "Lecture Notes in Computer Science",
  pages = "203-217",
  year = "2005",
  publisher = "Springer"
}