{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:36:38Z","timestamp":1750307798841,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,3,16]],"date-time":"2008-03-16T00:00:00Z","timestamp":1205625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002855","name":"Ministry of Science and Technology of the People's Republic of China","doi-asserted-by":"publisher","award":["2007AA010302"],"award-info":[{"award-number":["2007AA010302"]}],"id":[{"id":"10.13039\/501100002855","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["6.04E+15"],"award-info":[{"award-number":["6.04E+15"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004608","name":"National Natural Science Foundation of Jiangsu Province","doi-asserted-by":"publisher","award":["BK2007714"],"award-info":[{"award-number":["BK2007714"]}],"id":[{"id":"10.13039\/501100004608","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,3,16]]},"DOI":"10.1145\/1363686.1363781","type":"proceedings-article","created":{"date-parts":[[2008,4,29]],"date-time":"2008-04-29T13:04:11Z","timestamp":1209474251000},"page":"384-389","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["UML state machine diagram driven runtime verification of Java programs for message interaction consistency"],"prefix":"10.1145","author":[{"given":"Xuandong","family":"Li","sequence":"first","affiliation":[{"name":"Nanjing University, Nanjing, P.R.China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaokang","family":"Qiu","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, P.R.China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linzhang","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, P.R.China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bin","family":"Lei","sequence":"additional","affiliation":[{"name":"Nanjing University, Nanjing, P.R.China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W. Eric","family":"Wong","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas, Richardson, TX"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,3,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Unified Modeling Language Reference Manual","author":"Rumbaugh J.","year":"1999","unstructured":"J. Rumbaugh and I. Jacobson and G. Booch . The Unified Modeling Language Reference Manual , Addison-Wesley , 1999 . J. Rumbaugh and I. Jacobson and G. Booch. The Unified Modeling Language Reference Manual, Addison-Wesley, 1999."},{"unstructured":"OMG. UML2.0 Superstructure Specification 2004. www.uml.org.  OMG. UML2.0 Superstructure Specification 2004. www.uml.org.","key":"e_1_3_2_1_2_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1111\/j.1743-4580.2001.00165.x"},{"key":"e_1_3_2_1_4_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Finkbeiner Bernd","year":"2001","unstructured":"Bernd Finkbeiner , Sriram Sankaranarayanan , Henny Sipma . Collecting Statistics over Runtime Executions . In Electronic Notes in Theoretical Computer Science , Vol. 55 , Issue 2, Elsevier , 2001 . Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics over Runtime Executions. In Electronic Notes in Theoretical Computer Science, Vol.55, Issue 2, Elsevier, 2001."},{"unstructured":"Russell C. Bjork. The Simulation of an Automated Teller Machine. http:\/\/www.math-cs.gordon.edu\/local\/courses\/cs211\/ATMExample\/Links.html.  Russell C. Bjork. The Simulation of an Automated Teller Machine . http:\/\/www.math-cs.gordon.edu\/local\/courses\/cs211\/ATMExample\/Links.html.","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Bartetzko Detlef","year":"2001","unstructured":"Detlef Bartetzko , Clemens Fischer , Michael Moller , and Heike Wehrheim . Jass - Java with Assertions . In Electronic Notes in Theoretical Computer Science , Vol. 55 , Issue 2, Elsevier , 2001 . Detlef Bartetzko, Clemens Fischer, Michael Moller, and Heike Wehrheim. Jass - Java with Assertions. In Electronic Notes in Theoretical Computer Science, Vol.55, Issue 2, Elsevier, 2001."},{"key":"e_1_3_2_1_7_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Havelund Klaus","year":"2001","unstructured":"Klaus Havelund and Grigore Rou . Monitoring Java Programs with Java PathExplorer . In Electronic Notes in Theoretical Computer Science , Vol. 55 , Issue 2, Elsevier , 2001 . Klaus Havelund and Grigore Rou. Monitoring Java Programs with Java PathExplorer. In Electronic Notes in Theoretical Computer Science, Vol.55, Issue 2, Elsevier, 2001."},{"key":"e_1_3_2_1_8_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Kim M.","year":"2001","unstructured":"M. Kim , S. Kannan , I. Lee , O. Sokolsky and M. Viswanathan . Java-MaC: A Run-time Assurance Tool for Java Programs . In Electronic Notes in Theoretical Computer Science , Vol. 55 , Issue 2, Elsevier , 2001 . M. Kim, S. Kannan, I. Lee, O. Sokolsky and M. Viswanathan. Java-MaC: A Run-time Assurance Tool for Java Programs. In Electronic Notes in Theoretical Computer Science, Vol.55, Issue 2, Elsevier, 2001."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1083246.1083249"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1109\/ASE.2000.873671"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1007\/s100090050043"},{"key":"e_1_3_2_1_12_1","volume-title":"Alur. Trends and Challenges in Algorithmic Software Verification. In Proceedings of IFIP Working Conference on Verified Software: Theories","author":"Rajeev","year":"2005","unstructured":"Rajeev Alur. Trends and Challenges in Algorithmic Software Verification. In Proceedings of IFIP Working Conference on Verified Software: Theories , Tools, Experiments , 2005 , http:\/\/vstte.ethz.ch\/speakers.html. Rajeev Alur. Trends and Challenges in Algorithmic Software Verification. In Proceedings of IFIP Working Conference on Verified Software: Theories, Tools, Experiments, 2005, http:\/\/vstte.ethz.ch\/speakers.html."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1040305.1040314"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1145\/1081706.1081713"},{"key":"e_1_3_2_1_15_1","first-page":"75","volume-title":"Mieke Massink. Formal Test Case Generation for UML Statecharts. In Proceedings of Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04)","author":"Gnesi Stefania","year":"2004","unstructured":"Stefania Gnesi , Diego Latella , and Mieke Massink. Formal Test Case Generation for UML Statecharts. In Proceedings of Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04) , IEEE Computer Society Press , 2004 , pp. 75 -- 84 . Stefania Gnesi, Diego Latella, and Mieke Massink. Formal Test Case Generation for UML Statecharts. In Proceedings of Ninth IEEE International Conference on Engineering Complex Computer Systems (ICECCS'04), IEEE Computer Society Press, 2004, pp. 75--84."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/566172.566194"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.5555\/645983.675105"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1049\/ip-sen:19990602"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1007\/11767077_8"}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC '08","name":"SAC '08: The 2008 ACM Symposium on Applied Computing","location":"Fortaleza, Ceara Brazil"},"container-title":["Proceedings of the 2008 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1363781","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1363686.1363781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:29Z","timestamp":1750254989000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1363686.1363781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3,16]]},"references-count":19,"alternative-id":["10.1145\/1363686.1363781","10.1145\/1363686"],"URL":"https:\/\/doi.org\/10.1145\/1363686.1363781","relation":{},"subject":[],"published":{"date-parts":[[2008,3,16]]},"assertion":[{"value":"2008-03-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}