%0 Conference Paper %1 Prenninger2004 %A Prenninger, Wolfgang %A El-Ramly, Mohammad %A Horstmann, Marc %B Model-Based Testing of Reactive Systems %D 2004 %K MBT case_studies model model-based test_execution test_generation testing tools %P 439-461 %T Case Studies

@inproceedings{Prenninger2004, added-at = {2010-01-12T14:32:59.000+0100}, author = {Prenninger, Wolfgang and El-Ramly, Mohammad and Horstmann, Marc}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/2bfe1180e95e6f2f06adbea61dc75e66a/ist_spl}, booktitle = {Model-Based Testing of Reactive Systems}, crossref = {DBLP:conf/dagstuhl/2004test}, description = {Betrachtung und Analyse von 8 publizierten Fallbeispielen zum Einsatz vom MBT im industriellen Umfeld. Verschiedene Anwendungsdomänen, Testspezifikationen, Modellierungs-, Testgenerierungs- und Testausführungstechniken werden unterschieden.}, ee = {http://dx.doi.org/10.1007/11498490_19}, interhash = {7a8d4b2acf926f5f745776451860f70d}, intrahash = {bfe1180e95e6f2f06adbea61dc75e66a}, keywords = {MBT case_studies model model-based test_execution test_generation testing tools}, pages = {439-461}, timestamp = {2010-01-12T14:32:59.000+0100}, title = {Case Studies}, year = 2004 }