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=10.1.1.178.3400&rep=rep1&type=pdf

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