{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T10:34:54Z","timestamp":1756895694850},"reference-count":20,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2000,3,1]],"date-time":"2000-03-01T00:00:00Z","timestamp":951868800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks"],"published-print":{"date-parts":[[2000,3]]},"DOI":"10.1016\/s1389-1286(00)00005-0","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T17:19:33Z","timestamp":1049735973000},"page":"347-364","source":"Crossref","is-referenced-by-count":22,"title":["Interoperability test suite derivation for communication protocols"],"prefix":"10.1016","volume":"32","author":[{"given":"Sungwon","family":"Kang","sequence":"first","affiliation":[]},{"given":"Jaehwi","family":"Shin","sequence":"additional","affiliation":[]},{"given":"Myungchul","family":"Kim","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(00)00005-0_BIB1","unstructured":"ATM Forum, ATM User\u2013network interface specification, version 3.1, 1994"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB2","unstructured":"ATM Forum, ATM Forum PNNI draft specification, 1996"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB3","unstructured":"ATM Forum, ATM Forum 95-1145R1: ATS for the UNI3.1 signaling \u2013 network side. Part I, 1996"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB4","unstructured":"ATM Forum, ATM Forum 96-0979: ATS for the UNI3.1 Signaling \u2013 user side, 1996"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB5","unstructured":"ISO\/IEC 9646-1, Information Technology \u2013 OSI Conformance Testing Methodology and Framework. Part 1: General Concepts, 1994"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB6","unstructured":"ISO\/IEC 9646-3, Information Technology \u2013 OSI Conformance Testing Methodology and Framework. Part 3: The Tree and Tabular Combined Notation (TTCN), 1995"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB7","unstructured":"ITU-T, ITU-T Draft Recommendation Q.2931: B-ISDN User\u2013network Interface Layer 3 Specification for Basic Call\/Bearer Control, 1994"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB8","series-title":"Protocol Test Systems. Part IV","first-page":"95","article-title":"A test case generation method for concurrent programs","author":"Arakawa","year":"1992"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB9","unstructured":"G. Bonnes, IBM OSI interoperability verification services, IFIP TC6\/WG6.1, The Third International Workshop on Protocol Test Systems, 1990"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB10","series-title":"Protocol Test Systems. Part VI(C-19)","first-page":"331","article-title":"Deriving coordinated testers for interoperability","author":"Castanet","year":"1994"},{"issue":"3","key":"10.1016\/S1389-1286(00)00005-0_BIB11","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modeled by finite-state machines","volume":"SE-4","author":"Chow","year":"1978","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"10.1016\/S1389-1286(00)00005-0_BIB12","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0920-5489(89)90023-8","article-title":"A COS study of OSI interoperability","volume":"9","author":"Gadre","year":"1990","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB13","doi-asserted-by":"crossref","unstructured":"S. Kang, M. Kim, Interoperability test suite derivation for symmetric communication protocols, in: IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification Testing and Verification (PSTV XVII), Osaka, Japan, 1997, pp. 57\u201372","DOI":"10.1007\/978-0-387-35271-8_4"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB14","unstructured":"M. Kim, J. Shin, S.T. Chanson, S. Kang, An approach for testing asynchronous communicating systems, IEICE Transactions on Communications E82-B (1) (1999)"},{"issue":"8","key":"10.1016\/S1389-1286(00)00005-0_BIB15","doi-asserted-by":"crossref","first-page":"1090","DOI":"10.1109\/5.533956","article-title":"Principles and methods of testing finite state machines \u2013 a survey","volume":"84","author":"Lee","year":"1996","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"10.1016\/S1389-1286(00)00005-0_BIB16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1109\/32.265636","article-title":"Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method","volume":"20","author":"Luo","year":"1994","journal-title":"IEEE Transactions on Sofware Engineering"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB17","unstructured":"O. Rafiq, R. Castanet, From conformance testing to interoperability testing, in: The Third International Workshop on Protocol Test Systems, 1990, pp. 371\u2013385"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB18","unstructured":"S. Seol, M. Kim, S. Kang, Y. Park, Interoperability test suite derivation for the TCP protocol, in: IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification Testing and Verification (PSTV XIX), Beijng, China, November 1999, pp. 18\u201321"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB19","unstructured":"D.P. Sidhu, Protocol testing: the first ten years, the next ten years, protocol specification, testing and verification, in: X.L. Logrippo, R.R. Probert, H. Ural (Eds.), Elsevier, Amsterdam, 1990, pp. 47\u201368"},{"key":"10.1016\/S1389-1286(00)00005-0_BIB20","unstructured":"G.S. Vermeer, H. Blik, Interoperability testing: basis for the acceptance of communication systems, in: O. Rafiq (Ed.), Protocol Test Systems. Part VI(C-19), Elsevier, Amsterdam, 1994, pp. 315\u2013330"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128600000050?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128600000050?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T03:58:40Z","timestamp":1555300720000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128600000050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,3]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,3]]}},"alternative-id":["S1389128600000050"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(00)00005-0","relation":{},"ISSN":["1389-1286"],"issn-type":[{"value":"1389-1286","type":"print"}],"subject":[],"published":{"date-parts":[[2000,3]]}}}