{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:14:38Z","timestamp":1764173678208,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642170706"},{"type":"electronic","value":"9783642170713"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-17071-3_10","type":"book-chapter","created":{"date-parts":[[2010,11,11]],"date-time":"2010-11-11T07:12:58Z","timestamp":1289459578000},"page":"186-207","source":"Crossref","is-referenced-by-count":14,"title":["Mapping UML to Labeled Transition Systems for Test-Case Generation"],"prefix":"10.1007","author":[{"given":"Willibald","family":"Krenn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rupert","family":"Schlick","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard K.","family":"Aichernig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), superstructure, Version 2.2. (2009)"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01558665","volume":"3","author":"R.J. Back","year":"1989","unstructured":"Back, R.J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. Distributed Computing\u00a03(2), 73\u201387 (1989); Appeared previously in 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing (1983)","journal-title":"Distributed Computing"},{"key":"10_CR3","first-page":"17","volume":"12","author":"R.J. Back","year":"1991","unstructured":"Back, R.J., Sere, K.: Stepwise refinement of action systems. Structured Programming\u00a012, 17\u201330 (1991)","journal-title":"Structured Programming"},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0054286","volume-title":"Mathematics of Program Construction","author":"M.M. Bonsangue","year":"1998","unstructured":"Bonsangue, M.M., Kok, J.N., Sere, K.: An approach to object-orientation in action systems. In: Jeuring, J. (ed.) MPC 1998. LNCS, vol.\u00a01422, pp. 68\u201395. Springer, Heidelberg (1998)"},{"key":"10_CR5","unstructured":"Sekerinski, E., Sere, K.: A theory of prioritizing composition. Technical Report\u00a05, Turku Centre for Computer Science (1996)"},{"key":"10_CR6","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall, Inc., Englewood Cliffs (1976)"},{"key":"10_CR7","first-page":"475","volume-title":"Proceedings of the IFIP TC6\/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1991","author":"R.J. Back","year":"1992","unstructured":"Back, R.J., Sere, K.: Superposition refinement of parallel algorithms. In: Proceedings of the IFIP TC6\/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 1991, pp. 475\u2013493. North-Holland Publishing Co, Amsterdam (1992)"},{"key":"10_CR8","volume-title":"Modelling systems: practical tools and techniques in software development","author":"J. Fitzgerald","year":"1998","unstructured":"Fitzgerald, J., Larsen, P.G.: Modelling systems: practical tools and techniques in software development. Cambridge University Press, New York (1998)"},{"issue":"5","key":"10_CR9","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1147\/rd.255.0549","volume":"25","author":"P. Lucas","year":"1981","unstructured":"Lucas, P.: Formal semantics of programming languages: VDL. IBM J. Res. Dev.\u00a025(5), 549\u2013561 (1981)","journal-title":"IBM J. Res. Dev."},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/BF01214622","volume":"7","author":"M. Butler","year":"1995","unstructured":"Butler, M., Morgan, C.: Action systems, unbounded nondeterminism, and infinite traces. Formal Aspects of Computing\u00a07, 37\u201353 (1995)","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"10_CR11","first-page":"103","volume":"17","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools\u00a017(3), 103\u2013120 (1996)","journal-title":"Software - Concepts and Tools"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Brandl, H., Weiglhofer, M., Aichernig, B.K.: Automated conformance verification of hybrid systems. In: QSIC (2010) (under review)","DOI":"10.1109\/QSIC.2010.53"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Aichernig, B.K., Brandl, H., J\u00f6bstl, E., Krenn, W.: Model-based mutation testing of hybrid systems. In: Proceedings of Formal Methods for Components and Objects FMCO 2009 (2010) (under review)","DOI":"10.1007\/978-3-642-17071-3_12"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-73368-3_18","volume-title":"Computer Aided Verification","author":"H. Garavel","year":"2007","unstructured":"Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A toolbox for the construction and analysis of distributed processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 158\u2013163. Springer, Heidelberg (2007)"},{"key":"10_CR15","first-page":"613","volume-title":"Proceedings of the IFIP 11th World Computer Congress, Information Processing 1989","author":"R.v. Glabbeek","year":"1996","unstructured":"Glabbeek, R.v., Weijland, W.: Branching time and abstraction in bisimulation semantics (extended abstract). In Ritter, G., ed.: Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Fransisco 1989, North-Holland (1989) 613\u2013618 Full version in Jounal of the ACM 43(3), 1996, pp. 555\u2013600."},{"key":"10_CR16","first-page":"167","volume-title":"Proceedings of the 5th GI-Conference on Theoretical Computer Science, London, UK","author":"D. Park","year":"1981","unstructured":"Park, D.: Concurrency and automata on infinite sequences. In: Proceedings of the 5th GI-Conference on Theoretical Computer Science, London, UK, pp. 167\u2013183. Springer, Heidelberg (1981)"},{"key":"10_CR17","unstructured":"Westerlund, T., Seceleanu, T.: An UML profile for action systems. Technical Report 581, Turku Centre for Computing Science (December 2003)"},{"key":"10_CR18","doi-asserted-by":"crossref","first-page":"1840","DOI":"10.1145\/1141277.1141709","volume-title":"Proceedings of the 2006 ACM Symposium on Applied Computing, SAC 2006","author":"H. Fekih","year":"2006","unstructured":"Fekih, H., Ayed, L.J.B., Merz, S.: Transformation of B specifications into UML class diagrams and state machines. In: Proceedings of the 2006 ACM Symposium on Applied Computing, SAC 2006, pp. 1840\u20131844. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Components and Objects"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-17071-3_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,22]],"date-time":"2019-03-22T01:49:32Z","timestamp":1553219372000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-17071-3_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642170706","9783642170713"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-17071-3_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}