{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:39:40Z","timestamp":1725734380493},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,5,11]]},"DOI":"10.1145\/1370042.1370059","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"71-78","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating test adequacy coverage of high level petri nets using spin"],"prefix":"10.1145","author":[{"given":"Junhua","family":"Ding","sequence":"first","affiliation":[{"name":"East Carolina University, Greenville, NC, USA"}]},{"given":"Gonzalo","family":"Argote-Garcia","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL, USA"}]},{"given":"Peter J.","family":"Clarke","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL, USA"}]},{"given":"Xudong","family":"He","sequence":"additional","affiliation":[{"name":"Florida International University, Miami, FL, USA"}]}],"member":"320","published-online":{"date-parts":[[2008,5,11]]},"reference":[{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872523"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318939"},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","first-page":"207","volume-title":"Advances in Petri Nets","author":"Genrich H. J.","year":"1986","unstructured":"H. J. Genrich . Predicate\/transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets , volume 254 of Lecture Notes in Computer Science , pages 207 -- 247 . Springer , 1986 . H. J. Genrich. Predicate\/transition nets. In W. Brauer, W. Reisig, and G. Rozenberg, editors, Advances in Petri Nets, volume 254 of Lecture Notes in Computer Science, pages 207--247. Springer, 1986."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 4th International SPIN Workshop (SPIN '98)","author":"Grahlmann B.","year":"1998","unstructured":"B. Grahlmann and C. Pohl . Profiting from spin in PEP . In Proceedings of the 4th International SPIN Workshop (SPIN '98) , Nov. 1998 . B. Grahlmann and C. Pohl. Profiting from spin in PEP. In Proceedings of the 4th International SPIN Workshop (SPIN '98), Nov. 1998."},{"key":"e_1_3_2_1_7_1","volume-title":"High-Level Petri Nets - Extensions, Analysis, and Applications","author":"He X.","year":"2005","unstructured":"X. He and T. Murata . High-Level Petri Nets - Extensions, Analysis, and Applications . Electrical Engineering Handbook (ed. Wai-Kai Chen). Elsevier Academic Press , 2005 . X. He and T. Murata. High-Level Petri Nets - Extensions, Analysis, and Applications. Electrical Engineering Handbook (ed. Wai-Kai Chen). Elsevier Academic Press, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(02)00087-0"},{"key":"e_1_3_2_1_9_1","volume-title":"The Spin Model Checker: Primer and reference manual","author":"Holzmann G. J.","year":"2003","unstructured":"G. J. Holzmann . The Spin Model Checker: Primer and reference manual . Addison-Wesley , Boston, MA ., 2003 . G. J. Holzmann. The Spin Model Checker: Primer and reference manual. Addison-Wesley, Boston, MA., 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.1010062"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/76894.76897"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2001.922409"},{"volume-title":"Feb.","year":"2006","key":"e_1_3_2_1_13_1","unstructured":"Spin. On-The-Fly , LTL Model Checking with SPIN , Feb. 2006 . http:\/\/spinroot.com\/. Spin. On-The-Fly, LTL Model Checking with SPIN, Feb. 2006. http:\/\/spinroot.com\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.126769"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00048-4"}],"event":{"name":"ICSE '08: International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Leipzig Germany","acronym":"ICSE '08"},"container-title":["Proceedings of the 3rd international workshop on Automation of software test"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1370042.1370059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T05:00:13Z","timestamp":1673499613000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370042.1370059"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,11]]},"references-count":13,"alternative-id":["10.1145\/1370042.1370059","10.1145\/1370042"],"URL":"https:\/\/doi.org\/10.1145\/1370042.1370059","relation":{},"subject":[],"published":{"date-parts":[[2008,5,11]]},"assertion":[{"value":"2008-05-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}