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]
Type de document :
Communication dans un congrès
Alexander K. Petrenko; Bernd-Holger Schlingloff. MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. 141, pp.15, 2014, EPTCS, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.141.3〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01089687
Contributeur : Frédéric Dadeau <>
Soumis le : mardi 2 décembre 2014 - 10:36:34
Dernière modification le : samedi 7 juillet 2018 - 01:18:42

Lien texte intégral

Identifiants

Citation

Frédéric Dadeau, Kalou Cabrera Castillos, Jacques Julliand. Coverage Criteria for Model-Based Testing using Property Patterns. Alexander K. Petrenko; Bernd-Holger Schlingloff. MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS 2014, Apr 2014, Grenoble, France. 141, pp.15, 2014, EPTCS, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.141.3〉. 〈hal-01089687〉

Partager

Métriques

Consultations de la notice

267