Nouveaux mécanismes de filtrage de tests basés sur le modèle

Taha Triki (1) , Yves Ledru (1) , Lydie Du Bousquet (1) , Frédéric Dadeau (2, 3) , Julien Botella (4)

1 VASCO - Validation de Systèmes, Composants et Objets logiciels
2 CASSIS - Combination of approaches to the security of infinite states systems
3 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
4 Smartesting - Smartesting

no abstract

Domaines: Génie logiciel [cs.SE]

Taha Triki, Yves Ledru, Lydie Du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.179-180. ⟨hal-00953273⟩