Reliability estimation for statistical usage testing using Markov chains | IEEE Conference Publication | IEEE Xplore