{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,15]],"date-time":"2025-04-15T06:11:46Z","timestamp":1744697506463},"reference-count":21,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[2003,12,1]],"date-time":"2003-12-01T00:00:00Z","timestamp":1070236800000},"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":[[2003,12]]},"DOI":"10.1016\/s1389-1286(03)00316-5","type":"journal-article","created":{"date-parts":[[2003,7,7]],"date-time":"2003-07-07T09:47:57Z","timestamp":1057571277000},"page":"735-759","source":"Crossref","is-referenced-by-count":20,"title":["Fully automated interoperability test suite derivation for communication protocols"],"prefix":"10.1016","volume":"43","author":[{"given":"Soonuk","family":"Seol","sequence":"first","affiliation":[]},{"given":"Myungchul","family":"Kim","sequence":"additional","affiliation":[]},{"given":"Sungwon","family":"Kang","sequence":"additional","affiliation":[]},{"given":"Jiwon","family":"Ryu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1389-1286(03)00316-5_BIB1","unstructured":"ATM Forum, ATM UNI Interface Specification version 3.1, 1994"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB2","unstructured":"ATM Forum, ATM Forum PNNI Draft Specification, 1996"},{"year":"1997","series-title":"Design and analysis of experiments","author":"Montgomery","key":"10.1016\/S1389-1286(03)00316-5_BIB3"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB4","unstructured":"Gary R. Wright, W. Richard Stevens, TCP\/IP Illustrated, Volume 2 The Implementation, Addison-Wesley Professional Computing Series, Academic Press, New York, 1995"},{"year":"1993","series-title":"Taguchi Methods: A Hands-On Approach","author":"Peace","key":"10.1016\/S1389-1286(03)00316-5_BIB5"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB6","unstructured":"ISO\/IEC\/9646, OSI Conformance Testing Methodology and Framework Parts 1\u20137, 1994"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB7","unstructured":"ITU-T X.290 Series, Conformance Testing Methodology and Framework, 1994"},{"year":"1991","series-title":"UNIX Network Programming","author":"Richard Stevens","key":"10.1016\/S1389-1286(03)00316-5_BIB8"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB9","doi-asserted-by":"crossref","unstructured":"D.M. Cohen, S.R Dalal, M.L. Fredman, G.C. Patton, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering 23(7) (1997) 437\u2013444","DOI":"10.1109\/32.605761"},{"issue":"3","key":"10.1016\/S1389-1286(03)00316-5_BIB10","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/S1389-1286(00)00005-0","article-title":"Interoperability test suite derivation for communication protocols","volume":"32","author":"Kang","year":"2000","journal-title":"Computer Networks"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB11","doi-asserted-by":"crossref","unstructured":"A.W. Williams, R.L. Probert, A practical strategy for testing pair-wise coverage of network interfaces, in: Proceedings of the 7th International Conference on Software Reliability Engineering (ISSRE\u201996), White Plains, NY, 1996, pp. 246\u2013254","DOI":"10.1109\/ISSRE.1996.558835"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB12","doi-asserted-by":"crossref","unstructured":"J. Shin, S. Kang, Interoperability test suite derivation for the ATM\/B-ISDN signaling protocol, Testing of Communicating Systems, vol. 11, Kluwer Academic Publishers, Dordrecht, 1998, pp. 313\u2013330","DOI":"10.1007\/978-0-387-35381-4_19"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB13","doi-asserted-by":"crossref","unstructured":"K. Burroughs, A. Jain, R.L. Erichson, Improved quality of protocol testing through techniques of experimental design, Supercomm\/ICC\u201994, 1994","DOI":"10.1109\/ICC.1994.368821"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB14","unstructured":"N. Arakawa, T. Soneoka, A Test Case Generation Method for Concurrent Programs, Protocol Test Systems, IV, Elsevier, Amsterdam, 1992"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB15","series-title":"Formal Description Techniques","article-title":"Combination of conformance and interoperability testing, V (C-10)","author":"Arakawa","year":"1993"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB16","unstructured":"N. Griffeth, R. Hao, D. Lee, R.K. Sinha, Integrated system interoperability testing with applications to VoIP, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), Pisa, Italy, October 2000"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB17","unstructured":"O. Rafiq, R. Castanet, From conformance testing to interoperability testing, in: Proceedings of the 3rd International Workshop on Protocol Test System, 1990"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB18","doi-asserted-by":"crossref","unstructured":"S. Kang, M. Kim, Interoperability test suite derivation for symmetric communication protocols, 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, November 1997, pp. 57\u201372","DOI":"10.1007\/978-0-387-35271-8_4"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB19","doi-asserted-by":"crossref","unstructured":"S. Seol, M. Kim, S.T. Chanson, Interoperability test generation for communication protocols based on multiple stimuli principle, IFIP 14th International Conference on testing of Communicating Systems (TestCom2002), Berlin, Germany, March 2002, pp. 151\u2013168","DOI":"10.1007\/978-0-387-35497-2_11"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB20","doi-asserted-by":"crossref","unstructured":"J. Ryu, M. Kim, S. Kang, S. Seol, Interoperability test suite generation for the TCP data part using experimental design techniques, TestCom2000, August 2000, pp. 127\u2013142","DOI":"10.1007\/978-0-387-35516-0_8"},{"key":"10.1016\/S1389-1286(03)00316-5_BIB21","doi-asserted-by":"crossref","unstructured":"B. Koch, J. Grabowski, D. Hogrefe, M. Schmitt, Autolink: a tool for automatic test generation from SDL specifications, in: Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques, 1999, pp. 114\u2013125","DOI":"10.1109\/WIFT.1998.766305"}],"container-title":["Computer Networks"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603003165?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1389128603003165?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T13:06:42Z","timestamp":1585055202000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1389128603003165"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,12]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2003,12]]}},"alternative-id":["S1389128603003165"],"URL":"https:\/\/doi.org\/10.1016\/s1389-1286(03)00316-5","relation":{},"ISSN":["1389-1286"],"issn-type":[{"type":"print","value":"1389-1286"}],"subject":[],"published":{"date-parts":[[2003,12]]}}}