2006 journal article
On the value of static analysis for fault detection in software
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 32(4), 240–253.
By: J. Zheng, L. Williams, N. Nagappan*, W. Snipes*, J. Hudepohl* & M. Vouk