Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. - Yungbum Jung; Jaehwang Kim; Jaeho Shin 001; Kwangkeun Yi (SAS, 2005)

An empirical study on classification methods for alarms from a bug-finding static C analyzer. - Kwangkeun Yi; Hosik Choi; Jaehwang Kim; Yongdai Kim (Inf. Process. Lett., 2007)