Media type: E-Article Title: Coverage-biased random exploration of large models and application to testing Contributor: Denise, Alain; Gaudel, Marie-Claude; Gouraud, Sandrine-Dominique; Lassaigne, Richard; Oudinet, Johan; Peyronnet, Sylvain imprint: Springer Science and Business Media LLC, 2012 Published in: International Journal on Software Tools for Technology Transfer Language: English DOI: 10.1007/s10009-011-0190-1 ISSN: 1433-2779; 1433-2787 Keywords: Information Systems ; Software Origination: Footnote: