Coverage-biased Random Exploration of Models
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain PeyronnetVolume:
220
Year:
2008
Language:
english
Pages:
12
DOI:
10.1016/j.entcs.2008.11.002
File:
PDF, 282 KB
english, 2008