Jayant Rajgopal Mainak Mazumdar Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model. 358-363 2002 28 IEEE Trans. Software Eng. 4 http://www.computer.org:80/tse/ts2002/e0358abs.htm db/journals/tse/tse28.html#RajgopalM02