Fault sample size quadratic allocation method of sequential verification based on Sobol sequence | IEEE Conference Publication | IEEE Xplore