{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:18:29Z","timestamp":1725517109840},"publisher-location":"Boston, MA","reference-count":24,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387096605"},{"type":"electronic","value":"9780387096612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-0-387-09661-2_4","type":"book-chapter","created":{"date-parts":[[2008,8,19]],"date-time":"2008-08-19T13:40:02Z","timestamp":1219153202000},"page":"35-44","source":"Crossref","is-referenced-by-count":3,"title":["Specification-based Verification of Embedded Systems by Automated Test Case Generation"],"prefix":"10.1007","author":[{"given":"Christoph M.","family":"Kirchsteiger","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Trummer","sequence":"additional","affiliation":[]},{"given":"Christian","family":"Steger","sequence":"additional","affiliation":[]},{"given":"Reinhold","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Markus","family":"Pistauer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"J.R. Abrial. The B-book : assigning programs to meanings. Cambridge University Press, August 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"4_CR2","unstructured":"S. Bird, E. Klein, and E. Loper. Introduction to Natural Language Processing. 2001."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"L.C Briand and Y. Labiche. A uml-based approach to system testing. In Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools, pages 194\u2013208, London, UK, 2001. Springer-Verlag.","DOI":"10.1007\/3-540-45441-1_15"},{"key":"4_CR4","unstructured":"A. Cockburn. Writing Effective Use Cases. Addison-Wesley Professional, 2001."},{"issue":"6","key":"4_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1218776.1218788","volume":"31","author":"A.L.L. Figueiredo de","year":"2006","unstructured":"A.L.L. de Figueiredo, W.L. Andrade, and P.D.L. Machado. Generating interaction test cases for mobile phone systems from use case specifications. SIGSOFT Softw. Eng. Notes, 31(6):1\u201310, 2006.","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"4_CR6","unstructured":"EPCGlobal. EPC Radio-Frequency Identity Protocols Class-1 Generation-2 UHF RFID Protocol for Communications at 860 MHz 960 MHz, 1.0.9."},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"A. Fantechi, S. Gnesi, G. Lami, and A. Maccari. Application of Linguistic Techniques for Use Case Analysis. In Requirements Engineering, 2002. Proceedings. IEEE Joint International Conference on, pages 157\u2013164, 9-13 Sept. 2002.","DOI":"10.1109\/ICRE.2002.1048518"},{"key":"4_CR8","unstructured":"Centre for Language Technology. Controlled Natural Languages, 2007."},{"key":"4_CR9","unstructured":"M. Friske and H. Schlingloff. Von use cases zu test cases: Eine systematische vorgehensweise. 2005."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"P. Fr\u00f6ohlich and J. Link. Automated test case generation from dynamic models. In ECOOP \u201900: Proceedings of the 14th European Conference on Object-Oriented Programming, pages 472\u2013492, London, UK, 2000. Springer-Verlag.","DOI":"10.1007\/3-540-45102-1_23"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"J. Hartmann, C. Imoberdorf, and M. Meisinger. Uml-based integration testing. In ISSTA \u201900: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, pages 60\u201370, New York, NY, USA, 2000. ACM.","DOI":"10.1145\/347324.348872"},{"key":"4_CR12","unstructured":"S. Hudson. Cup - lalr parser generator for java, 2007."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Y. JinShan, L. Tun, and T. QingPing. The Use of UML Sequence Diagram for System-on-Chip System Level Transaction-based Functional Verification. In Intelligent Control and Automation, 2006. WCICA 2006. The Sixth World Congress on, volume 2, pages 6173\u20136177, 21-23 June 2006.","DOI":"10.1109\/WCICA.2006.1714269"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"S. Kajtazovic, C. Steger, A. Schuhai, and M. Pistauer. Automatic generation of a verification platform for heterogeneous system designs. In Advances in Design and Specification Languages for SoCs - Selected Contributions from FDL\u201905, 2005.","DOI":"10.1007\/978-1-4020-4998-9_11"},{"key":"4_CR15","unstructured":"S. Kansomkeat and W. Rivepiboon. Automated-generating test case using uml statechart diagrams. In SAICSIT \u201903: Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, pages 296\u2013300, , Republic of South Africa, 2003. South African Institute for Computer Scientists and Information Technologists."},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Y.G. Kim, H.S. Hong, D.H. Bae, and S.D. Cha. Test cases generation from uml state diagrams. Software, IEE Proceedings -, 146(4):187\u2013192, Aug 1999.","DOI":"10.1049\/ip-sen:19990602"},{"key":"4_CR17","unstructured":"G. Klein. Jflex - the fast scanner generator for java, 2007."},{"key":"4_CR18","unstructured":"Cadence Labs. The Transaction-Based Verification Methodology. Technical report, 2000."},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Naumann and B.G. Lang. Parsing. 1994.","DOI":"10.1007\/978-3-322-90877-3"},{"key":"4_CR20","unstructured":"C. Norris and S. Swan. A tutorial introduction on the new systemc verification standard. Technical report, 2003."},{"key":"4_CR21","unstructured":"A. Piziali. Functional Verification Coverage Measurement and Analysis. Kluwer Academic Publishers, 2004."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"M. Riebisch and M. Hubner. Traceability-driven Model Refinement for Test Case Generation. In Engineering of Computer-Based Systems, 2005. ECBS \u201905. 12th IEEE International Conference and Workshops on the, pages 113\u2013120, 4-7 April 2005.","DOI":"10.1109\/ECBS.2005.72"},{"key":"4_CR23","unstructured":"Sun. Java architecture for xml binding (jaxb), 2003."},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Q. Zhu, R. Oishi, T. Hasenawa, and T. Nakata. System-On-Chip Validation using UML and CWL. In Hardware\/Software Codesign and System Synthesis, 2004. CODES + ISSS 2004.","DOI":"10.1145\/1016720.1016745"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","Distributed Embedded Systems: Design, Middleware and Resources"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-09661-2_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:04:29Z","timestamp":1605647069000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-09661-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9780387096605","9780387096612"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-09661-2_4","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[]}}