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
jMocha: a model checking tool that exploits design structure, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001, pp.835-836, 2001. ,
DOI : 10.1109/ICSE.2001.919196
Reactive modules. Formal Methods in System Design, pp.7-48, 1999. ,
DOI : 10.1109/lics.1996.561320
MOCHA: Modularity in model checking, Proceedings of the Tenth International Conference on Computer-Aided Verification (CAV), pp.521-525, 1998. ,
DOI : 10.1007/BFb0028774
Finite Transition Systems, 1994. ,
Rational series and their languages, 1987. ,
DOI : 10.1007/978-3-642-73235-5
URL : https://hal.archives-ouvertes.fr/hal-00619791
Testing Transition Systems: An Annotated Bibliography, LNCS, vol.2067, pp.187-195, 2001. ,
DOI : 10.1007/3-540-45510-8_9
URL : http://eprints.eemcs.utwente.nl/secure2/00006456/01/fulltext.pdf
Hit-or-Jump: An Algorithm for Embedded Testing with Applications to in Services, Proc. FORTE/PSTV, 1999. ,
DOI : 10.1007/978-0-387-35578-8_3
Probabilistic verification of sensor networks, 2006 International Conference onResearch, Innovation and Vision for the Future, 2006. ,
DOI : 10.1109/RIVF.2006.1696417
A Generic Method for Statistical Testing, 15th International Symposium on Software Reliability Engineering, pp.25-34, 2004. ,
DOI : 10.1109/ISSRE.2004.2
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC, Proc. 4th Int. Workshop on Automated Verification of Critical Systems Electronic Notes in Theor. Comp. Sci, 2004. ,
DOI : 10.1016/j.entcs.2005.04.012
Analytic combinatorics: functional equations, rational, and algebraic functions, INRIA Research Report pages. Part of the book project " Analytic Combinatorics, p.98, 2001. ,
A Calculus for the Random Generation of Labelled Combinatorial Structures, Theoretical Computer Science, vol.132, pp.1-35, 1994. ,
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
Monte Carlo Model Checking, Proc. of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2005), pp.271-286, 2005. ,
DOI : 10.1007/978-3-540-31980-1_18
Distribution, approximation and probabilistic model checking. 4th Parallel and Distributed Methods in Verification (PDMC 05) Electronic Notes in Theor, Comp. Sci, 2005. ,
DOI : 10.1016/j.entcs.2005.10.016
URL : http://doi.org/10.1016/j.entcs.2005.10.016
Approximate Probabilistic Model Checking, Proceedings of Fifth International VMCAI'04, pp.73-84, 2004. ,
DOI : 10.1007/978-3-540-24622-0_8
Uniform Random Generation of Strings in a Context-Free Language, SIAM Journal on Computing, vol.12, issue.4, pp.645-655, 1983. ,
DOI : 10.1137/0212044
Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963. ,
DOI : 10.1214/aoms/1177730491
Development of an Atomic Broadcast Protocol using LOTOS, Software Practice and Experience, pp.699-719, 1999. ,
The Markov chain Monte Carlo method: an approach to approximate counting and integration. Approximation Algorithms for NP-hard, 1996. ,
Monte-Carlo algorithms for enumeration and reliability problems, 24th Annual Symposium on Foundations of Computer Science (sfcs 1983), pp.429-448, 1989. ,
DOI : 10.1109/SFCS.1983.35
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach, Proc. TACAS'02, pp.52-66, 2002. ,
Probabilistic Verification and Approximation, Proc. of the 12th Workshop on Logic, Language, Information and Computation (Wollic 05, pp.101-114, 2006. ,
DOI : 10.1016/j.entcs.2005.05.031
URL : http://doi.org/10.1016/j.apal.2007.11.006
Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach, IEEE Transactions on Communications, vol.44, issue.5, pp.44-49, 1996. ,
DOI : 10.1109/26.494307
Principles and methods of testing finite state machines-a survey, The Proceedings of IEEE, pp.1089-1123, 1996. ,
DOI : 10.1109/5.533956
On the random walk method for protocol testing, Proc. Computer-Aided Verification, pp.132-141, 1994. ,
DOI : 10.1007/3-540-58179-0_49
Enhancing random walk state space exploration, 10th international workshop on Formal methods for industrial critical systems, 2005. ,
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking, Proc. of Parallel and Distributed Model Checking (PDMC'03), 2003. ,
DOI : 10.1016/S1571-0661(05)80096-9
Mupad-combinat algebraic combinatorics package for MUPAD ,
Protocol validation in complex systems, ACM SIGCOMM Computer Communication Review, vol.19, issue.4, pp.303-312, 1989. ,
DOI : 10.1145/75247.75276