{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T14:08:45Z","timestamp":1791209325750,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,7,17]],"date-time":"2011-07-17T00:00:00Z","timestamp":1310860800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,7,17]]},"DOI":"10.1145\/2001420.2001427","type":"proceedings-article","created":{"date-parts":[[2011,7,20]],"date-time":"2011-07-20T12:34:54Z","timestamp":1311165294000},"page":"45-55","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Polyglot"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Balasubramanian","sequence":"first","affiliation":[{"name":"Vanderbilt University\/ISIS, Nashville, TN"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon\/NASA Ames, Research Center, Moffett Field, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael W.","family":"Whalen","sequence":"additional","affiliation":[{"name":"University of Minnesota"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G\u00e1bor","family":"Karsai","sequence":"additional","affiliation":[{"name":"Vanderbilt University\/ISIS, Nashville, TN"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Lowry","sequence":"additional","affiliation":[{"name":"NASA Ames Research Center, Moffett Field, CA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,7,17]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/babelfish.arc.nasa.gov\/trac\/jpf","year":"2011","unstructured":"Java pathfinder tool-set. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf , 2011 . Java pathfinder tool-set. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf, 2011."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2003.05.007"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2011.5929985"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/647752.734550"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_11"},{"key":"e_1_3_2_1_6_1","first-page":"25","volume-title":"UML 2000 workshop","author":"Compton K.","year":"2000","unstructured":"K. Compton , J. Huggins , and W. Shen . A semantic model for the state machine in the unified modeling language. In In Proceeding of Dynamic Behavior in UML Models: Semantic Questions , UML 2000 workshop , pages 25 -- 31 . Springer Verlag , 2000 . K. Compton, J. Huggins, and W. Shen. A semantic model for the state machine in the unified modeling language. In In Proceeding of Dynamic Behavior in UML Models: Semantic Questions, UML 2000 workshop, pages 25--31. Springer Verlag, 2000."},{"key":"e_1_3_2_1_7_1","volume-title":"Uml vs. classical vs. rhapsody statecharts: Not all models are created equal","author":"Crane M. L.","year":"2005","unstructured":"M. L. Crane and J. Dingel . Uml vs. classical vs. rhapsody statecharts: Not all models are created equal . 2005 . M. L. Crane and J. Dingel. Uml vs. classical vs. rhapsody statecharts: Not all models are created equal. 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12029-9_12"},{"key":"e_1_3_2_1_11_1","volume-title":"PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitat Munchen","author":"Gogolla M.","year":"1998","unstructured":"M. Gogolla and F. Parisi-Presicce . State diagrams in uml: A formal semantics using graph transformations . In PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitat Munchen , 1998 . M. Gogolla and F. Parisi-Presicce. State diagrams in uml: A formal semantics using graph transformations. In PSMT'98 Workshop on Precise Semantics for Modeling Techniques. Technische Universitat Munchen, 1998."},{"key":"e_1_3_2_1_12_1","volume-title":"Superstructure Version 2.2","author":"O. M. Group","year":"2009","unstructured":"O. M. Group . Unified Modeling LanguageTM (OMG UML) , Superstructure Version 2.2 . Object Management Group , February 2009 . O. M. Group. Unified Modeling LanguageTM (OMG UML), Superstructure Version 2.2. Object Management Group, February 2009."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. 7th International Military and Aerospace Programmable Logic Devices (MAPLD) Conference","author":"Hamilton M.","year":"2004","unstructured":"M. Hamilton . The heart and soul of apollo: Doing it right the first time . In Proc. 7th International Military and Aerospace Programmable Logic Devices (MAPLD) Conference , 2004 . M. Hamilton. The heart and soul of apollo: Doing it right the first time. In Proc. 7th International Military and Aerospace Programmable Logic Devices (MAPLD) Conference, 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086260"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24721-0_17"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_17_1","first-page":"325","volume-title":"Integration of Software Specification Techniques for Application in Engineering, number 3147 in Lecture Notes in Computer Science","author":"Harel D.","year":"2001","unstructured":"D. Harel and H. Kugler . The rhapsody semantics of statecharts (or, on the executable core of the uml) . In In Integration of Software Specification Techniques for Application in Engineering, number 3147 in Lecture Notes in Computer Science , pages 325 -- 354 . Springer , 2001 . D. Harel and H. Kugler. The rhapsody semantics of statecharts (or, on the executable core of the uml). In In Integration of Software Specification Techniques for Application in Engineering, number 3147 in Lecture Notes in Computer Science, pages 325--354. Springer, 2001."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.508311"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"e_1_3_2_1_21_1","unstructured":"Mathworks Inc. Stateflow product web site. http:\/\/www.mathworks.com.  Mathworks Inc. Stateflow product web site. http:\/\/www.mathworks.com."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646372"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/253228.253278"},{"key":"e_1_3_2_1_24_1","volume-title":"Technical Report DAIMI FN-19, Computer Science Department","author":"Plotkin G. D.","year":"1981","unstructured":"G. D. Plotkin . A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department , Aarhus University , Aarhus, Denmark , September 1981 . G. D. Plotkin. A structural approach to operational semantics. Technical Report DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, September 1981."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691617_14"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859035"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SMC-IT.2009.18"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-46428-X_10","volume-title":"Fundamental Approaches to Software Engineering, LNCS 1783","author":"Reggio G.","year":"2000","unstructured":"G. Reggio , E. Astesiano , C. Choppy , and H. Hussmann . Analysing uml active classes and associated state machines - a lightweight formal approach . In Fundamental Approaches to Software Engineering, LNCS 1783 , pages 127 -- 146 . Springer , 2000 . G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. Analysing uml active classes and associated state machines - a lightweight formal approach. In Fundamental Approaches to Software Engineering, LNCS 1783, pages 127--146. Springer, 2000."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of iSAIRAS","author":"Verma V.","year":"2005","unstructured":"V. Verma , T. Estlin , A. Jonsson , C. S. P\u0103s\u0103reanu , and R. Simmons . Plan execution interchange language (plexil) for command execution . In Proceedings of iSAIRAS , 2005 . V. Verma, T. Estlin, A. Jonsson, C. S. P\u0103s\u0103reanu, and R. Simmons. Plan execution interchange language (plexil) for command execution. In Proceedings of iSAIRAS, 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-002-0012-8"},{"key":"e_1_3_2_1_31_1","first-page":"526","article-title":"A comparison of statecharts variants","author":"von der Beek M.","year":"1994","unstructured":"M. von der Beek . A comparison of statecharts variants . Formal Techniques in Real-Time and Fault-Tolerant Systems , 526 , 1994 . M. von der Beek. A comparison of statecharts variants. Formal Techniques in Real-Time and Fault-Tolerant Systems, 526, 1994.","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"e_1_3_2_1_32_1","volume-title":"A formal semantics for RSML  -e . Master's thesis","author":"Whalen M. W.","year":"2000","unstructured":"M. W. Whalen . A formal semantics for RSML -e . Master's thesis , University of Minnesota , May 2000 . M. W. Whalen. A formal semantics for RSML -e . Master's thesis, University of Minnesota, May 2000."}],"event":{"name":"ISSTA '11: International Symposium on Software Testing and Analysis","location":"Toronto Ontario Canada","acronym":"ISSTA '11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2001420.2001427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:59:54Z","timestamp":1750244394000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2001420.2001427"}},"subtitle":["modeling and analysis for multiple Statechart formalisms"],"short-title":[],"issued":{"date-parts":[[2011,7,17]]},"references-count":31,"alternative-id":["10.1145\/2001420.2001427","10.1145\/2001420"],"URL":"https:\/\/doi.org\/10.1145\/2001420.2001427","relation":{},"subject":[],"published":{"date-parts":[[2011,7,17]]},"assertion":[{"value":"2011-07-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}