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 [Toulouse]
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 : Friday, June 14, 2019 - 6:31:06 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

318