Skip to Main content Skip to Navigation
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
Document type :
Conference papers
Complete list of metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Tuesday, December 2, 2014 - 10:36:34 AM
Last modification on : Tuesday, October 19, 2021 - 11:18:04 PM

Links full text



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⟩