Email Record: A Fault-counting software reliability model based on a continuous-time Markov chain /