%0 Book Section %1 books/tf/11/DadeauPLTJMB11 %A Dadeau, Frédéric %A Peureux, Fabien %A Legeard, Bruno %A Tissot, Régis %A Julliand, Jacques %A Masson, Pierre-Alain %A Bouquet, Fabrice %B Model-Based Testing for Embedded Systems %D 2011 %E Zander, Justyna %E Schieferdecker, Ina %E Mosterman, Pieter J. %I CRC Press %K dblp %T Test Generation Using Symbolic Animation of Models. %U http://dblp.uni-trier.de/db/books/collections/ZSM2011.html#DadeauPLTJMB11 %@ 978-1-4398-1845-9

@incollection{books/tf/11/DadeauPLTJMB11, added-at = {2019-08-20T00:00:00.000+0200}, author = {Dadeau, Frédéric and Peureux, Fabien and Legeard, Bruno and Tissot, Régis and Julliand, Jacques and Masson, Pierre-Alain and Bouquet, Fabrice}, biburl = {https://www.bibsonomy.org/bibtex/2b5a68a2296eab1cfd7b19a9d445faf44/dblp}, booktitle = {Model-Based Testing for Embedded Systems}, crossref = {books/tf/11/ZSM2011}, editor = {Zander, Justyna and Schieferdecker, Ina and Mosterman, Pieter J.}, ee = {https://doi.org/10.1201/b11321-9}, interhash = {bd48c3baf27c5298049e46b38787f499}, intrahash = {b5a68a2296eab1cfd7b19a9d445faf44}, isbn = {978-1-4398-1845-9}, keywords = {dblp}, publisher = {CRC Press}, series = {Computational Analysis, Synthesis, & Design Dynamic Systems}, timestamp = {2019-08-21T11:41:56.000+0200}, title = {Test Generation Using Symbolic Animation of Models.}, url = {http://dblp.uni-trier.de/db/books/collections/ZSM2011.html#DadeauPLTJMB11}, year = 2011 }