Cesar Couto, João Eduardo Montandon, Christofer Silva, Marco Tulio Valente. Static correspondence and correlation between field defects and warnings reported by a bug finding tool. Software Quality Journal, 21(2):241-257, 2013. [doi]
Abstract is missing.