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
* Auteur correspondant
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, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR8623
5 GRAND-LARGE - Global parallel and distributed computing
LRI - Laboratoire de Recherche en Informatique, LIFL - Laboratoire d'Informatique Fondamentale de Lille, UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8623
Type de document :
Article dans une revue
Software Tools for Technology Transfer (STTT), Springer, 2012, 14 (1), pp.73-93
Liste complète des métadonnées

https://hal.inria.fr/inria-00560621
Contributeur : Alain Denise <>
Soumis le : vendredi 28 janvier 2011 - 17:36:37
Dernière modification le : jeudi 11 janvier 2018 - 06:23:08

Identifiants

  • HAL Id : inria-00560621, version 1

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〉

Partager

Métriques

Consultations de la notice

213