{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T18:48:51Z","timestamp":1730314131336,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":16,"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.1370055","type":"proceedings-article","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T18:35:39Z","timestamp":1210876539000},"page":"57-61","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A generic formal framework for protocol interoperability test and test cases minimization"],"prefix":"10.1145","author":[{"given":"Ning","family":"Zhong","sequence":"first","affiliation":[{"name":"Beijing Institute of Technology, Beijing.China"}]},{"given":"Zun-wen","family":"He","sequence":"additional","affiliation":[{"name":"Beijing Institute of Technology, Beijing.China"}]},{"given":"Jing-ming","family":"Kuang","sequence":"additional","affiliation":[{"name":"Beijing Institute of Technology, Beijing.China"}]}],"member":"320","published-online":{"date-parts":[[2008,5,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_2_1","first-page":"44","article-title":"The first ten years, the nest ten years, Protocol Specification","author":"Sindu D","year":"1990","journal-title":"Testing and Verification"},{"volume-title":"Tsinghua University","year":"1997","author":"Hao R","key":"e_1_3_2_1_3_1"},{"issue":"11","key":"e_1_3_2_1_4_1","first-page":"1909","article-title":"Protocol interoperability test generation based on communicating multi-port FSMs {J}","volume":"29","author":"Wang Z.L","year":"2006","journal-title":"Chinese Journal of Computers"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2004.836015"},{"key":"e_1_3_2_1_6_1","first-page":"371","volume-title":"Proc. 3rd Int. Workshop protocol test ayatem","author":"Rafiq O","year":"1990"},{"key":"e_1_3_2_1_7_1","first-page":"397","volume-title":"Formal Description Techniques","author":"Arakawa N","year":"1993"},{"issue":"1","key":"e_1_3_2_1_8_1","first-page":"589","article-title":"Towards interoperability Test Generation of Time Dependent Protocols: a Case Study {J}","volume":"1","author":"Wang Z.L.","year":"2004","journal-title":"IEEE Communications Society"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2004.836136"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICWMC.2007.2"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00005-0"},{"key":"e_1_3_2_1_12_1","unstructured":"Lin H.H. Zhao B.H. Qu Y.G. Generation method of minimal-complete-coverage interoperability test sequence based on digraphs {J}. Journal of university of science and technology of china 2006 36(2):225--229. (In Chinese). Lin H.H. Zhao B.H. Qu Y.G. Generation method of minimal-complete-coverage interoperability test sequence based on digraphs {J}. Journal of university of science and technology of china 2006 36(2):225--229. (In Chinese)."},{"key":"e_1_3_2_1_13_1","unstructured":"Wang Z.L Wu J.P Yin X and Shi X.G. Protocol interoperability Test Generation Based on MSC Test Purposes {J}. Journal of Beijing university of post and telecommunications 2006 29 (1):116--120. (In Chinese). Wang Z.L Wu J.P Yin X and Shi X.G. Protocol interoperability Test Generation Based on MSC Test Purposes {J}. Journal of Beijing university of post and telecommunications 2006 29 (1):116--120. (In Chinese)."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Aho A.V Dahbura A.T. Lee D and Uyar. M.U An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours {J}. IEEE transactions on communications November 1991 32(2): 1604--1615. Aho A.V Dahbura A.T. Lee D and Uyar. M.U An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours {J}. IEEE transactions on communications November 1991 32(2):1604--1615.","DOI":"10.1109\/26.111442"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00316-5"},{"volume-title":"Proceedings of the 3 rd International Conference on Genetic Algorithms","year":"1989","author":"Syswerda G.","key":"e_1_3_2_1_16_1"}],"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.1370055","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T04:59:58Z","timestamp":1673499598000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1370042.1370055"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,11]]},"references-count":16,"alternative-id":["10.1145\/1370042.1370055","10.1145\/1370042"],"URL":"https:\/\/doi.org\/10.1145\/1370042.1370055","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"}}]}}