Skip to Main content Skip to Navigation
Conference papers

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

Taha Triki 1 Yves Ledru 1 Lydie Du Bousquet 1 Frédéric Dadeau 2, 3 Julien Botella 4
1 VASCO [?-2015] - Validation de Systèmes, Composants et Objets logiciels [?-2015]
LIG - Laboratoire d'Informatique de Grenoble
2 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
3 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
4 Smartesting - Smartesting
Résumé : no abstract
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-00953273
Contributor : Catherine Oriat <>
Submitted on : Friday, February 28, 2014 - 11:17:39 AM
Last modification on : Thursday, November 19, 2020 - 3:34:05 PM

Identifiers

  • HAL Id : hal-00953273, version 1

Collections

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

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. ⟨hal-00953273⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

444

 

Contact                    Legal Notice                    Personal Data