Skip to Main content Skip to Navigation
Journal articles

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
* Corresponding author
1 AMIB - Algorithms and Models for Integrative Biology
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], LRI - Laboratoire de Recherche en Informatique, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
2 LRI - Laboratoire de Recherche en Informatique
3 IGM - Institut de génétique et microbiologie [Orsay]
4 ELM - Équipe de Logique Mathématique
5 GRAND-LARGE - Global parallel and distributed computing
CNRS - Centre National de la Recherche Scientifique : UMR8623, Inria Saclay - Ile de France, UP11 - Université Paris-Sud - Paris 11, LIFL - Laboratoire d'Informatique Fondamentale de Lille, LRI - Laboratoire de Recherche en Informatique
Document type :
Journal articles
Complete list of metadatas
https://hal.inria.fr/inria-00560621
Contributor : Alain Denise <>
Submitted on : Friday, January 28, 2011 - 5:36:37 PM
Last modification on : Wednesday, September 16, 2020 - 5:07:04 PM

Identifiers

  • HAL Id : inria-00560621, version 1

Collections

CNRS | INRIA | ELM | LIX | X-LIX | X | UMR8623 | UNIV-LILLE3 | I2BC | LRI-BIOINFO | X-DEP-INFO | UNIV-PARIS7 | USPC | UNIV-PARIS

Citation

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. Software Tools for Technology Transfer (STTT), Springer, 2012, 14 (1), pp.73-93. ⟨inria-00560621⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

480

 

Contact                    Legal Notice                    Personal Data