Software Reliability Test Based on Markov Usage Model. - Kuanjiu Zhou; Xiaolong Wang; Gang Hou; Jie Wang 004; Shanbin Ai (J. Softw., 2012)