A study of the modeling and analysis of software fault-detection and fault-correction processes - Xie, M. (2014)
10.1002/qre.827