Fault coverage of a long random test sequence estimated from a short simulation | Publicación