 |
Conference papers
Coverage Criteria for Model-Based Testing using Property Patterns
Frédéric Dadeau
1, 2
Kalou Cabrera Castillos
3
Jacques Julliand
2
1
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
LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Frédéric Dadeau 1, 2
Author IdHAL : frederic-dadeau
Kalou Cabrera Castillos 3
Author
Jacques Julliand 2
Author
1
CASSIS - Combination of approaches to the security of infinite states systems (France)
- FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)
- UTBM - Université de Technologie de Belfort-Montbeliard (France)
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France)
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France)
- Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- LORIA - FM - Department of Formal Methods (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
2
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (32 avenue de l'Observatoire 25044 BESANCON CEDEX - France)
- UTBM - Université de Technologie de Belfort-Montbeliard (France)
- ENSMM - Ecole Nationale Supérieure de Mécanique et des Microtechniques (École Nationale Supérieure de Mécanique et des Microtechniques 26, rue de l'épitaphe CS 51813 25030 BESANÇON CEDEX - FRANCE - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6174 (France)
- UFC - Université de Franche-Comté (1 rue Goudimel 25030 Besançon cedex - France)
3
LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique (France)
- LAAS - Laboratoire d'analyse et d'architecture des systèmes (7 Av du colonel Roche 31077 TOULOUSE CEDEX 4 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- INSA Toulouse - Institut National des Sciences Appliquées - Toulouse (135, avenue de Rangueil - 31077 Toulouse cedex 4 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UPR8001 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01089687
Contributor : Frédéric Dadeau <>
Submitted on : Tuesday, December 2, 2014 - 10:36:34 AM
Last modification on : Tuesday, December 8, 2020 - 9:41:36 AM
Contributor : Frédéric Dadeau <>
Submitted on : Tuesday, December 2, 2014 - 10:36:34 AM
Last modification on : Tuesday, December 8, 2020 - 9:41:36 AM
Links full text
Identifiers
- HAL Id : hal-01089687, version 1
- DOI : 10.4204/EPTCS.141.3
Collections
CNRS | INRIA | UNIV-FCOMTE | UNIV-BM | FEMTO-ST | UNIV-BM-THESE | UNIV-LORRAINE | LORIA-FM | LORIA | INSA-TOULOUSE | LAAS-TSF | LAAS-INFORMATIQUE-CRITIQUE | LAAS | INSA-GROUPE | UNIV-TLSE3 | UT1-CAPITOLE | UNIV-TLSE2 | LAAS-RISC
Citation
Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand. Coverage Criteria for Model-Based Testing using Property Patterns. MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. pp.15, ⟨10.4204/EPTCS.141.3⟩. ⟨hal-01089687⟩
Metrics
Record views