A Binary Markov Process Model for Random Testing. - Sanping Chen; Shirley Mills (IEEE Trans. Software Eng., 1996)