{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:31:14Z","timestamp":1759991474943,"version":"3.37.3"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2011,6,1]],"date-time":"2011-06-01T00:00:00Z","timestamp":1306886400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Elektrotech. Inftech."],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s00502-011-0009-5","type":"journal-article","created":{"date-parts":[[2011,7,30]],"date-time":"2011-07-30T02:38:16Z","timestamp":1311993496000},"page":"240-244","source":"Crossref","is-referenced-by-count":1,"title":["Test case generation in practice for communicating embedded systems","Praxisorientierte Testfallgenerierung f\u00fcr eingebettete Systeme"],"prefix":"10.1007","volume":"128","author":[{"given":"C.","family":"Schwarzl","sequence":"first","affiliation":[]},{"given":"F.","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Behrmann, G., David, A., Larsen, K. G. (2004): A tutorial on uppaal. in Formal Methods for the Design of Real-Time Systems: 4th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, ser. LNCS. In: Bernardo, M., Corradini, F. (eds.) no. 3185. Springer, pp. 200\u2013236","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Chimisliu, V., Schwarzl, C., Peischl, B. (2009): From uml statecharts to lotos: a semantics preserving model transformation. In: Proceedings of the 2009 Ninth International Conference on Quality Software, ser. QSIC '09. Washington, DC, USA: IEEE Computer Society, pp. 173\u2013178. [Online]. Available: http:\/\/dx.doi.org\/10.1109\/QSIC.2009.31","DOI":"10.1109\/QSIC.2009.31"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Clarke, D., J\u00e9ron, T., Rusu, V., Zinovieva, E. (2002): Stg: a symbolic test generation tool. In: Lecture Notes in Computer Science. Springer, pp. 151\u2013173","DOI":"10.1007\/3-540-46002-0_34"},{"key":"9_CR4","unstructured":"Conformiq designer. [Online]. Available: http:\/\/www.conformiq.com\/downloads\/Conformiq4dot2dot0Manual.pdf"},{"key":"9_CR5","unstructured":"Elvior testcast generator. [Online]. Available: http:\/\/www.elvior.ee\/motes\/generator"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Frantzen, L., Tretmans, J., Willemse, T. A. C. (2005): Test generation based on symbolic specifications. In: FATES 2004, number 3395 in LNCS. Springer-Verlag, pp. 1\u201315","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K. (2005): Dart: directed automated random testing. in PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, vol. 40, no. 6. New York, NY, USA: ACM Press, pp. 213\u2013223. [Online]. Available: http:\/\/dx.doi.org\/10.1145\/1065010.1065036","DOI":"10.1145\/1065010.1065036"},{"issue":"4","key":"9_CR8","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s10009-004-0153-x","volume":"7","author":"C. Jard","year":"2005","unstructured":"Jard, C., J\u00e9ron, T. (2005): TGV: theory, principles and algorithms: a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Int J Softw Tools Technol Transf, 7 (4): 297\u2013315","journal-title":"Int J Softw Tools Technol Transf"},{"issue":"6","key":"9_CR9","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M. (1999): Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Aspects of Computing, 11 (6): 637\u2013664","journal-title":"Formal Aspects of Computing"},{"key":"9_CR10","unstructured":"McMinn, P. (2004): Search-based software test data generation: a survey: research articles. Softw Test Verif Reliab, 14: 105\u2013156. [Online]. Available: http:\/\/portal.acm.org\/citation.cfm?id=1077276.1077279"},{"key":"9_CR11","unstructured":"OMG, UML superstructure reference. http:\/\/www.omg.org\/spec\/uml\/2.1.2\/superstructure\/pdf\/ . (last visited Jan. 09)"},{"key":"9_CR12","unstructured":"Qtronic testweaver. [Online]. Available: http:\/\/www.qtronic.de\/de\/weaver.html"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Schwarzl, C., Peischl, B. (2010): Generation of executable test cases based on behavioral uml system models. In: Proceedings of the 5th Workshop on Automation of Software Test, ser. AST '10. New York, NY, USA: ACM, pp. 31\u201334. [Online]. Available: http:\/\/doi.acm.org\/10.1145\/1808266.1808271","DOI":"10.1145\/1808266.1808271"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Schwarzl, C., Peischl, B. (2010): Static- and dynamic consistency analysis of uml state chart models. In: Model Driven Engineering Languages and Systems, ser. Lecture Notes in Computer Science, vol. 6394. Springer Berlin\/Heidelberg, pp. 151\u2013165. [Online]. Available: http:\/\/dx.doi.org\/10.1007\/978-3-642-16145-2_11","DOI":"10.1007\/978-3-642-16145-2_11"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Schwarzl, C., Peischl, B. (2010): Test sequence generation from communicating uml state charts: an industrial application of symbolic transition systems. In: Proceedings of the 2010 10th International Conference on Quality Software, ser. QSIC '10. Washington, DC, USA: IEEE Computer Society, pp. 122\u2013131. [Online]. Available: http:\/\/dx.doi.org\/10.1109\/QSIC.2010.22","DOI":"10.1109\/QSIC.2010.22"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Sen, K. (2007): Concolic testing. in ASE '07: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering. New York, NY, USA: ACM, pp. 571\u2013572","DOI":"10.1145\/1321631.1321746"},{"key":"9_CR17","unstructured":"Smartesting certifyit. [Online]. Available: http:\/\/www.smartesting.com\/index.php\/sfKsnNewsCategoryForCmsPage\/downloadFile\/item_id\/149\/media_id\/134"},{"key":"9_CR18","unstructured":"Tretmans, J., Brinksma, E., Resyste, C. D. (2003): Torx: automated model based testing \u2013 c\u00f4te de resyste"}],"container-title":["e & i Elektrotechnik und Informationstechnik"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00502-011-0009-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00502-011-0009-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00502-011-0009-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,13]],"date-time":"2019-06-13T11:52:30Z","timestamp":1560426750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00502-011-0009-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":18,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["9"],"URL":"https:\/\/doi.org\/10.1007\/s00502-011-0009-5","relation":{},"ISSN":["0932-383X","1613-7620"],"issn-type":[{"type":"print","value":"0932-383X"},{"type":"electronic","value":"1613-7620"}],"subject":[],"published":{"date-parts":[[2011,6]]}}}