Book Sections
Year : 2011
Frédéric Dadeau : Connect in order to contact the contributor
https://inria.hal.science/inria-00532604
Submitted on : Thursday, November 4, 2010-10:49:52 AM
Last modification on : Monday, September 11, 2023-5:41:18 PM
Dates and versions
Identifiers
- HAL Id : inria-00532604 , version 1
Cite
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⟩
Collections
144
View
0
Download