@inproceedings{JuKiShYi2005c,
   author = {Yungbum Jung and Jaehwang Kim and Jaeho Shin and Kwangkeun Yi},
   title = {Soundness by Static Analysis and False-alarm Removal by Statistical Analysis: Our Airac Experience},
   booktitle = {Bugs 2005: Workshop on the Evaluation of Software Defect Detection Tools},
   month = {June},
   year = {2005},
   category = {automatic-bug-detection-for-c-program},
   format = {pdf},
}