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

https://hal.inria.fr/inria-00532604
Contributor : Frédéric Dadeau <>
Submitted on : Thursday, November 4, 2010 - 10:49:52 AM
Last modification on : Friday, January 15, 2021 - 3:24:29 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

408