Nouveaux mécanismes de filtrage de tests basés sur le modèle

Taha Triki 1 Yves Ledru 1 Lydie Du Bousquet 2 Frédéric Dadeau 3, 4 Julien Botella 5
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble, UJF - Université Joseph Fourier - Grenoble 1
2 VASCO
LIG - Laboratoire d'Informatique de Grenoble
3 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
4 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
5 Smartesting - Smartesting
Résumé : no abstract
Type de document :
Communication dans un congrès
Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180, 2012
Liste complète des métadonnées
https://hal.inria.fr/hal-00953273
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 11:17:39
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : hal-00953273, version 1

Collections

INRIA | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | LIG | LIG_GLSI_VASCO | LIG_GLSI | UGA | UNIV-BM-THESE | UNIV-LORRAINE | LIG_SRCPR | LORIA-FM | LORIA

Citation

Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180, 2012. 〈hal-00953273〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

391

Contact


archive-ouverte@inria.fr