Stochastic and statistical analyses of the distribution of fault coverage in random-pattern testing | IEEE Conference Publication | IEEE Xplore