Jiang Zheng Zheng, J., Williams, L., Nagappan, N., Snipes, W., Hudepohl, J. P., & Vouk, M. A. (2006). On the value of static analysis for fault detection in software. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 32(4), 240–253. https://doi.org/10.1109/TSE.2006.38