@inproceedings{JuKiShYi2005a,
   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 = {Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings},
   editor = {Chris Hankin, Igor Siveroni},
   series = {Lecture Notes in Computer Science},
   pages = {203-217},
   publisher = {Springer-Verlag},
   month = {September},
   year = {2005},
   category = {automatic-bug-detection-for-c-program conference},
   format = {ps.gz},
}