{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T04:35:10Z","timestamp":1792902910683,"version":"4.5.0"},"reference-count":47,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icstw.2015.7107408","type":"proceedings-article","created":{"date-parts":[[2015,5,14]],"date-time":"2015-05-14T16:37:48Z","timestamp":1431621468000},"page":"1-8","source":"Crossref","is-referenced-by-count":6,"title":["State machine flattening, a mapping study and tools assessment"],"prefix":"10.1109","author":[{"given":"Xavier","family":"Devroey","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maxime","family":"Cordy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Yves","family":"Schobbens","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Patrick","family":"Heymans","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_16"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.14236\/ewic\/EASE2008.8"},{"key":"ref4","article-title":"Guidelines for performing Systematic Literature Reviews in Software Engineering","author":"Kitchenham","year":"2007"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.12.003"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.05.011"},{"key":"ref7","article-title":"State diagrams in UML: A formal semantics using graph transformations","volume-title":"PSMT","author":"Gogolla"},{"key":"ref8","article-title":"An Eclipse Plug-in for the Flattening of Concurrency and Hierarchy in UML State","author":"Holt","year":"2010"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/11538097_5"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/998300.997200"},{"key":"ref11","first-page":"296","article-title":"Automated-Generating Test Case Using UML Statechart Diagrams","volume-title":"SAICSIT\u201903","author":"Kansomkeat"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19990602"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45441-1_19"},{"key":"ref14","article-title":"SM2LIME: A Translation Tool From UML State Machines to LIME Specifications","author":"Auer","year":"2009"},{"key":"ref15","volume-title":"A Manifestation of Model-Code Duality: Facilitating the Representation of State Machines in the Umple Model-Oriented Programming Language","author":"Badreddin","year":"2012"},{"key":"ref16","volume-title":"Testing object-oriented systems: models, patterns, and tools","author":"Binder","year":"1999"},{"key":"ref17","article-title":"Using UML State Machines for Interaction Design and Usability Evaluation: An Extensive Literature Review","author":"Brajnik","year":"2011"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2005.24"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v8i11.20467"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45923-5_15"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxn027"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(94)90021-3"},{"key":"ref23","article-title":"Mapping UML-RT State Machines to kiltera","volume-title":"Applied Formal Methods","author":"Posse","year":"2010"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74984-4_8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.64"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16145-2_11"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.09.030"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_16"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CIC.2006.32"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10619-010-7061-8"},{"key":"ref31","article-title":"Graph Transformations on Domain-Specific Models","author":"Agrawal","year":"2003"},{"key":"ref32","first-page":"42","article-title":"Converting Statecharts into Java Code","volume-title":"IDPT","author":"Ali"},{"key":"ref33","first-page":"265","article-title":"Semantics of full statecharts based on graph rewriting","volume-title":"Graph Transformations in Computer Science","author":"Andrea","year":"1994"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45397-0_9"},{"key":"ref35","first-page":"29","article-title":"Towards Efficient Code Synthesis from Statecharts","volume-title":"pUML-Group@UML\u201901","author":"Bj\u00f6rklund"},{"key":"ref36","first-page":"100","article-title":"ECLIPSE Feature Logic Analysis","volume-title":"2nd IP-Telephony Workshop","author":"Bond"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24730-2_10"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-40011-7_23"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1002\/1099-1689(200012)10:4<203::AID-STVR212>3.0.CO;2-2"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.046"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36557-5_28"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45575-2_25"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0020949"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_18"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/11557432_8"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1996.493420"}],"event":{"name":"2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)","location":"Graz, Austria","start":{"date-parts":[[2015,4,13]]},"end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7100633\/7107396\/07107408.pdf?arnumber=7107408","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,25]],"date-time":"2026-10-25T04:06:49Z","timestamp":1792901209000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7107408\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/icstw.2015.7107408","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}