Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
Coverage-biased Random Exploration of Models
MBT, 2008.
@article{MBT-2008-GaudelDGLOP, author = "Marie-Claude Gaudel and Alain Denise and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet", doi = "10.1016/j.entcs.2008.11.002", journal = "{Electronic Notes in Theoretical Computer Science}", number = 1, pages = "3--14", title = "{Coverage-biased Random Exploration of Models}", volume = 220, year = 2008, }