Alain Denise Marie-Claude Gaudel Sandrine-Dominique Gouraud Richard Lassaigne Sylvain Peyronnet Uniform random sampling of traces in very large models. 10-19 2006 conf/issta/2006rt Random Testing http://doi.acm.org/10.1145/1145735.1145738 db/conf/issta/rt2006.html#DeniseGGLP06