Ted Kremenek Ken Ashcraft Junfeng Yang Dawson R. Engler Correlation exploitation in error ranking. 83-93 2004 conf/sigsoft/2004 SIGSOFT FSE http://doi.acm.org/10.1145/1029894.1029909 db/conf/sigsoft/fse2004.html#KremenekAYE04