{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:28:53Z","timestamp":1725568133631},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208136"},{"type":"electronic","value":"9783540398660"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-39866-0_46","type":"book-chapter","created":{"date-parts":[[2010,10,25]],"date-time":"2010-10-25T16:30:09Z","timestamp":1288024209000},"page":"462-468","source":"Crossref","is-referenced-by-count":3,"title":["Test Case Generation for UML Statecharts"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Seifert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Helke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Santen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","volume-title":"Proc. Formal Methods for Open Object-Based Distributed Systems, IV","author":"R. Eshuis","year":"2000","unstructured":"Eshuis, R., Wieringa, R.: Requirements level semantics for UML statecharts. In: Proc. Formal Methods for Open Object-Based Distributed Systems, IV, Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"46_CR2","doi-asserted-by":"crossref","unstructured":"Harel, D., Gery, E.: Executable object modeling with statecharts. In: Proc. 18th International Conference on Software Engineering, pp. 246\u2013257 (1996)","DOI":"10.1109\/ICSE.1996.493420"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"Harel, D., Naamad, A.: The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 293\u2013333 (1996)","DOI":"10.1145\/235321.235322"},{"key":"46_CR4","volume-title":"Proc. Formal Methods for Open Object-Based Distributed Systems, III","author":"D. Latella","year":"1999","unstructured":"Latella, D., Majzik, I., Massink, M.: Towards a formal operational semantics of UML statechart diagrams. In: Proc. Formal Methods for Open Object-Based Distributed Systems, III. Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"46_CR5","volume-title":"Proc. International Symposium on Software Testing and Analysis","author":"D. Latella","year":"2002","unstructured":"Latella, D., Massink, M.: On Testing and Conformance Relations for UML Statechart Diagrams Behaviours. In: Proc. International Symposium on Software Testing and Analysis. ACM, New York (2002)"},{"key":"46_CR6","unstructured":"OMG \u2013 Object Management Group. Unified Modeling Language Specification, Version 1.3 (March 2000), \n                    \n                      http:\/\/www.omg.org"},{"key":"46_CR7","unstructured":"Seifert, D., Helke, S., Santen, T.: Conformance testing for statecharts. Technical Report 2003\/1, Technical University of Berlin (2003)"},{"key":"46_CR8","first-page":"127","volume-title":"Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs, and repetitive quiescence. In: Proc. Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pp. 127\u2013146. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39866-0_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,21]],"date-time":"2019-03-21T21:14:04Z","timestamp":1553202844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39866-0_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208136","9783540398660"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39866-0_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}