Kwangkeun Yi Hosik Choi Jaehwang Kim Yongdai Kim An empirical study on classification methods for alarms from a bug-finding static C analyzer. 118-123 2007 102 Inf. Process. Lett. 2-3 http://dx.doi.org/10.1016/j.ipl.2006.11.004 db/journals/ipl/ipl102.html#YiCKK07