Coverage-biased random exploration of large models and application to testing
Alain Denise
(1, 2, 3)
,
Marie-Claude Gaudel
(2)
,
Sandrine-Dominique Gouraud
(2)
,
Richard Lassaigne
(2, 4)
,
Johan Oudinet
(2)
,
Sylvain Peyronnet
(2, 5)
Alain Denise
- Function : Author
- PersonId : 7014
- IdHAL : alain-denise
- ORCID : 0000-0003-4484-4996
- IdRef : 035353368
Marie-Claude Gaudel
Connectez-vous pour contacter l'auteur
- Function : Correspondent author
- PersonId : 6986
- IdHAL : marie-claude-gaudel
- IdRef : 026883988
Connectez-vous pour contacter l'auteur
Sandrine-Dominique Gouraud
- Function : Author
- PersonId : 831522
Richard Lassaigne
- Function : Author
- PersonId : 834680