Fault coverage of a long random test sequence estimated from a short simulation | IEEE Conference Publication | IEEE Xplore