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
2 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
3 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

Domaines: Génie logiciel [cs.SE]

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⟩