Coverage-biased random exploration of large models and application to testing - Archive ouverte HAL Access content directly
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2012

Coverage-biased random exploration of large models and application to testing

Alain Denise  : Connect in order to contact the contributor

https://hal.inria.fr/inria-00560621

Submitted on : Friday, January 28, 2011-5:36:37 PM

Last modification on : Friday, March 24, 2023-2:52:54 PM

Not file

Dates and versions

inria-00560621 , version 1 (28-01-2011)

Identifiers

  • HAL Id : inria-00560621 , version 1

Cite

Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, et al.. Coverage-biased random exploration of large models and application to testing. International Journal on Software Tools for Technology Transfer, 2012, 14 (1), pp.73-93. ⟨inria-00560621⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS7 X EC-PARIS UNIV-LILLE3 CNRS INRIA ELM LIX X-LIX X-DEP-INFO UMR8623 INRIA2 LRI-BIOINFO I2BC UNIV-PARIS-SACLAY GS-HEALTH-DRUG-SCIENCES
208 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More