Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis.

Yungbum Jung Jaehwang Kim Jaeho Shin Kwangkeun Yi Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. 203-217 2005 conf/sas/2005 SAS http://dx.doi.org/10.1007/11547662_15 db/conf/sas/sas2005.html#JungKSY05