Test Generation using Symbolic Animation of Models

Frédéric Dadeau 1 Fabien Peureux 2 Bruno Legeard 2 Régis Tissot 2 Jacques Julliand 2 Pierre-Alain Masson 2 Fabrice Bouquet 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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Type de document :
Chapitre d'ouvrage
Zander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J. Model-Based Testing for Embedded Systems, CRC Press, 2011, Series on Computational Analysis, Synthesis, Design of Dynamic Systems, 978-1-4398184-5-9
Liste complète des métadonnées

https://hal.inria.fr/inria-00532604
Contributeur : Frédéric Dadeau <>
Soumis le : jeudi 4 novembre 2010 - 10:49:52
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

  • HAL Id : inria-00532604, version 1

Citation

Frédéric Dadeau, Fabien Peureux, Bruno Legeard, Régis Tissot, Jacques Julliand, et al.. Test Generation using Symbolic Animation of Models. Zander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J. Model-Based Testing for Embedded Systems, CRC Press, 2011, Series on Computational Analysis, Synthesis, Design of Dynamic Systems, 978-1-4398184-5-9. 〈inria-00532604〉

Partager

Métriques

Consultations de la notice

326