Chapitre D'ouvrage
Année : 2011
Frédéric Dadeau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00532604
Soumis le : jeudi 4 novembre 2010-10:49:52
Dernière modification le : lundi 11 septembre 2023-17:41:18
Dates et versions
Identifiants
- HAL Id : inria-00532604 , version 1
Citer
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
149
Consultations
0
Téléchargements