D. Aldous, An introduction to covering problems for random walks on graphs, Journal of Theoretical Probability, vol.15, issue.1, pp.197-211, 1991.
DOI : 10.1007/BF01048271

A. Arnold, Finite Transition Systems, 1994.

A. Denise, M. C. Gaudel, and S. D. Gouraud, A Generic Method for Statistical Testing, 15th International Symposium on Software Reliability Engineering, pp.25-34, 2004.
DOI : 10.1109/ISSRE.2004.2

URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=

A. Denise, M. C. Gaudel, S. D. Gouraud, R. Lasseigne, and S. Peyronnet, Uniform random sampling of traces in very large models, Proceedings of the 1st international workshop on Random testing , RT '06, pp.10-19, 2006.
DOI : 10.1145/1145735.1145738

URL : https://hal.archives-ouvertes.fr/hal-00080471

A. Denise, M. C. Gaudel, S. D. Gouraud, R. Lassaigne, J. Oudinet et al., Coverage-biased random exploration of large models and application to testing, STTT, International Journal on Software Tools for Technology Transfer Online First, p.26, 2011.
DOI : 10.1016/0001-8708(77)90059-7

URL : https://hal.archives-ouvertes.fr/inria-00560621

A. Denise and P. Zimmermann, Uniform random generation of decomposable structures using floating-point arithmetic, Theoretical Computer Science, vol.218, issue.2, pp.233-248, 1999.
DOI : 10.1016/S0304-3975(98)00323-5

URL : https://hal.archives-ouvertes.fr/inria-00073447

P. Flajolet, P. Zimmermann, and B. V. Cutsem, A calculus for the random generation of labelled combinatorial structures, Theoretical Computer Science, vol.132, issue.1-2, pp.1-35, 1994.
DOI : 10.1016/0304-3975(94)90226-7

URL : https://hal.archives-ouvertes.fr/hal-00917729

P. Flajolet and R. Sedgewick, Analytic Combinatorics, 2009.
DOI : 10.1017/CBO9780511801655

URL : https://hal.archives-ouvertes.fr/inria-00072739

M. C. Gaudel, A. Denise, S. D. Gouraud, R. Lassaigne, J. Oudinet et al., Coverage-biased Random Exploration of Models, Electronic Notes in Theoretical Computer Science, vol.220, issue.1, pp.3-14, 2008.
DOI : 10.1016/j.entcs.2008.11.002

URL : https://hal.archives-ouvertes.fr/inria-00560621

M. Goldwurm, Random generation of words in an algebraic language in linear binary space, Information Processing Letters, vol.54, issue.4, pp.229-233, 1995.
DOI : 10.1016/0020-0190(95)00025-8

S. D. Gouraud, A. Denise, M. C. Gaudel, and B. Marre, A new way of automating statistical testing methods, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.5-12, 2001.
DOI : 10.1109/ASE.2001.989785

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, Proc. of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2005), p.271286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

A. Nijenhuis and H. S. Wilf, The enumeration of connected graphs and linked diagrams, Journal of Combinatorial Theory, Series A, vol.27, issue.3, pp.356-359, 1979.
DOI : 10.1016/0097-3165(79)90023-2

J. Oudinet, Uniform random walks in very large models, Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), RT '07, pp.26-29, 2007.
DOI : 10.1145/1292414.1292422

J. Oudinet, Approches combinatoires pour le test statistiquè a grandé echelle

. R. Tech, U. Lri, and . Paris, html#publications 16. Oudinet, J.: Random exploration of models, p.15, 2010.

J. Oudinet, A. Denise, and M. C. Gaudel, A new dichotomic algorithm for the uniform random generation of words in regular languages, Theoretical Computer Science, vol.502, p.10, 2010.
DOI : 10.1016/j.tcs.2012.07.025

URL : https://hal.archives-ouvertes.fr/inria-00542683

J. Oudinet, A. Denise, M. C. Gaudel, R. Lassaigne, and S. Peyronnet, Uniform Monte-Carlo Model Checking, FASE. LNCS, pp.127-140, 2011.
DOI : 10.1145/321679.321684

URL : https://hal.archives-ouvertes.fr/hal-00644834

H. Wilf, A unified setting for sequencing, ranking, and selection algorithms for combinatorial objects, Advances in Mathematics, vol.24, issue.2, pp.281-291, 1977.
DOI : 10.1016/S0001-8708(77)80046-7

URL : http://doi.org/10.1016/s0001-8708(77)80046-7