{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:36Z","timestamp":1750308636258,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,3,26]],"date-time":"2012-03-26T00:00:00Z","timestamp":1332720000000},"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":[[2012,3,26]]},"DOI":"10.1145\/2245276.2231981","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T13:03:31Z","timestamp":1339419811000},"page":"1292-1299","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Symbolic execution of UML-RT State Machines"],"prefix":"10.1145","author":[{"given":"Karolina","family":"Zurowska","sequence":"first","affiliation":[{"name":"Queen's University Kingston, ON, Canada"}]},{"given":"Juergen","family":"Dingel","sequence":"additional","affiliation":[{"name":"Queen's University Kingston, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2012,3,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Choco Solver http:\/\/www.emn.fr\/x-info\/choco-solver\/doku.php?id=about. Choco Solver http:\/\/www.emn.fr\/x-info\/choco-solver\/doku.php?id=about."},{"key":"e_1_3_2_1_2_1","unstructured":"IBM Rational Rhapsody Architect Version 7.5.3. http:\/\/www-01.ibm.com\/software\/rational\/products\/rhapsody\/swarchitect\/. IBM Rational Rhapsody Architect Version 7.5.3 . http:\/\/www-01.ibm.com\/software\/rational\/products\/rhapsody\/swarchitect\/."},{"key":"e_1_3_2_1_3_1","unstructured":"IBM Rational Software Architect RealTime Edition Version 7.5.5. http:\/\/publib.boulder.ibm.com\/infocenter\/rsarthlp\/v7r5m1\/. IBM Rational Software Architect RealTime Edition Version 7.5.5 . http:\/\/publib.boulder.ibm.com\/infocenter\/rsarthlp\/v7r5m1\/."},{"key":"e_1_3_2_1_4_1","unstructured":"Scade Suite (Esterel Technologies) http:\/\/www.esterel-technologies.com\/products\/scade-suite\/. Scade Suite (Esterel Technologies) http:\/\/www.esterel-technologies.com\/products\/scade-suite\/ ."},{"key":"e_1_3_2_1_5_1","unstructured":"Unified Modeling Language (UML 2.0) Superstructure. http:\/\/www.uml.org\/.  Unified Modeling Language (UML 2.0) Superstructure. http:\/\/www.uml.org\/."},{"volume-title":"TACAS 2008 (LNCS 4963)","author":"Anand S.","key":"e_1_3_2_1_6_1"},{"volume-title":"ICFEM 2004 (LNCS 3308)","author":"Balser M.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","unstructured":"E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography. In Summer School on Modeling and Verification of Parallel Processes (MOVEP'00).   E. Brinksma and J. Tretmans. Testing transition systems: An annotated bibliography. In Summer School on Modeling and Verification of Parallel Processes (MOVEP'00) ."},{"volume-title":"SVERTS2004 (part of UML2004)","author":"Burmester S.","key":"e_1_3_2_1_9_1"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/sej.1988.0029"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31848-4_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940078"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/987682.987865"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001650070004"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.05.051"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0141-9331(03)00102-9"},{"volume-title":"An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. In TOOLS '2008","author":"Leue S.","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2008.4526573"},{"first-page":"395","volume-title":"FTRTFT2002","author":"Merz S.","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"OMG. Action Language for Foundational UML (Alf) 2010. ptc\/2010-10-05.  OMG. Action Language for Foundational UML (Alf) 2010. ptc\/2010-10-05."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220925.3221265"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02949-3_11"},{"volume-title":"ORA Canada","year":"1999","author":"Saaltink M.","key":"e_1_3_2_1_25_1"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/646905.710490"},{"volume-title":"Addison-Wesley","year":"1991","author":"Sperschneider V.","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"A. Thums G. Schellhorn F. Ortmeier and W. Reif. Interactive Verification of Statecharts. In INT 2004 (LNCS 3147).  A. Thums G. Schellhorn F. Ortmeier and W. Reif. Interactive Verification of Statecharts. In INT 2004 (LNCS 3147) .","DOI":"10.1007\/978-3-540-27863-4_20"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273478"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/1779934.1779938"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100136"}],"event":{"name":"SAC 2012: ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Trento Italy","acronym":"SAC 2012"},"container-title":["Proceedings of the 27th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231981","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2245276.2231981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:04Z","timestamp":1750273684000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2245276.2231981"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,26]]},"references-count":32,"alternative-id":["10.1145\/2245276.2231981","10.1145\/2245276"],"URL":"https:\/\/doi.org\/10.1145\/2245276.2231981","relation":{},"subject":[],"published":{"date-parts":[[2012,3,26]]},"assertion":[{"value":"2012-03-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}