%0 Book Section %1 VeanesCGSTN08 %A Veanes, Margus %A Campbell, Colin %A Grieskamp, Wolfgang %A Schulte, Wolfram %A Tillmann, Nikolai %A Nachmanson, Lev %B Formal Methods and Testing %D 2008 %E Hierons, Robert M. %E Bowen, Jonathan P. %E Harman, Mark %I Springer %K formal mbt testing tools %P 39-76 %T Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer. %U http://dblp.uni-trier.de/db/conf/fortest/fortest2008.html\#VeanesCGSTN08 %V 4949 %@ 978-3-540-78916-1

@incollection{VeanesCGSTN08, added-at = {2013-11-25T13:01:23.000+0100}, author = {Veanes, Margus and Campbell, Colin and Grieskamp, Wolfgang and Schulte, Wolfram and Tillmann, Nikolai and Nachmanson, Lev}, biburl = {https://www.bibsonomy.org/bibtex/247c5c090dc61de70488d5952b57161b4/davef}, booktitle = {Formal Methods and Testing}, description = {dblp}, editor = {Hierons, Robert M. and Bowen, Jonathan P. and Harman, Mark}, ee = {http://dx.doi.org/10.1007/978-3-540-78917-8_2}, interhash = {dd50da3c41c75721c30bc6feec0e1fc9}, intrahash = {47c5c090dc61de70488d5952b57161b4}, isbn = {978-3-540-78916-1}, keywords = {formal mbt testing tools}, pages = {39-76}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2013-11-26T22:59:01.000+0100}, title = {Model-Based Testing of Object-Oriented Reactive Systems with Spec Explorer.}, url = {http://dblp.uni-trier.de/db/conf/fortest/fortest2008.html\#VeanesCGSTN08}, volume = 4949, year = 2008 }