Skip to Main content Skip to Navigation
Book sections

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 Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Book sections
Complete list of metadata
Contributor : Frédéric Dadeau Connect in order to contact the contributor
Submitted on : Thursday, November 4, 2010 - 10:49:52 AM
Last modification on : Friday, January 21, 2022 - 3:08:37 AM


  • HAL Id : inria-00532604, version 1


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⟩



Record views