Documentation
Français (FR)

Anglais (EN)

Marie-Claude Gaudel

5

Documents

Présentation

français
anglais

Publications

alain-denise

	A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version) Johan Oudinet , Alain Denise , Marie-Claude Gaudel Theoretical Computer Science, 2013, 502, pp.165-176 Article dans une revue hal-00716558v1
	Coverage-biased random exploration of large models and application to testing Alain Denise , Marie-Claude Gaudel , Sandrine-Dominique Gouraud , Richard Lassaigne , Johan Oudinet International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.73-93 Article dans une revue inria-00560621v1

	Uniform Monte-Carlo Model Checking Johan Oudinet , Alain Denise , Marie-Claude Gaudel , Richard Lassaigne , Sylvain Peyronnet FASE 2011, 2011, Saarbrücken, Germany Communication dans un congrès hal-00644834v1
	A new dichotomic algorithm for the uniform random generation of words in regular languages Johan Oudinet , Alain Denise , Marie-Claude Gaudel GASCom 2010, 2010, Montreal, Canada Communication dans un congrès inria-00542683v1
	Uniform Random Sampling of Traces in Very Large Models Alain Denise , Marie-Claude Gaudel , Sandrine-Dominique Gouraud , Richard Lasseigne , Sylvain Peyronnet First International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19 Communication dans un congrès hal-00080471v1