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 n, L. Williams n, N. Nagappanβ*, W. Snipes, J. Hudepohl & M. Vouk n