Stochastic model for performance evaluation of test planning | IEEE Conference Publication | IEEE Xplore