Marie-Claude Gaudel
5
Documents
Présentation
see <https://www.lri.fr/~mcg/>
see <https://www.lri.fr/~mcg/>
Publications
- 5
- 4
- 3
- 2
- 1
- 1
- 1
|
A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version)Theoretical Computer Science, 2013, 502, pp.165-176
Article dans une revue
hal-00716558v1
|
Coverage-biased random exploration of large models and application to testingInternational Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.73-93
Article dans une revue
inria-00560621v1
|
Uniform Monte-Carlo Model CheckingFASE 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 languagesGASCom 2010, 2010, Montreal, Canada
Communication dans un congrès
inria-00542683v1
|
|
|
Uniform Random Sampling of Traces in Very Large ModelsFirst International Workshop on Random Testing, 2006, Portland, Maine, United States. pp.10-19
Communication dans un congrès
hal-00080471v1
|