@techreport{JuKiShYi22005,
   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},
   institution = {Programming Research Laboratory, School of Computer Science & Engineering, Seoul National University},
   type = {Technical Memorandum},
   number = {ROPAS-2005-25},
   month = {April},
   year = {2005},
   category = {tech-memo},
   format = {pdf},
}