Fault coverage of a long random test sequence estimated from a short simulation. - V. Prepin; R. David (VTS, 1997)