{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T22:15:19Z","timestamp":1759702519927},"reference-count":23,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2004,10,1]],"date-time":"2004-10-01T00:00:00Z","timestamp":1096588800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE\/ACM Trans. Networking"],"published-print":{"date-parts":[[2004,10]]},"DOI":"10.1109\/tnet.2004.836136","type":"journal-article","created":{"date-parts":[[2004,10,19]],"date-time":"2004-10-19T08:20:44Z","timestamp":1098174044000},"page":"823-836","source":"Crossref","is-referenced-by-count":23,"title":["Integrated System Interoperability Testing With Applications to VoIP"],"prefix":"10.1109","volume":"12","author":[{"given":"R.","family":"Hao","sequence":"first","affiliation":[]},{"given":"D.","family":"Lee","sequence":"additional","affiliation":[]},{"given":"R.K.","family":"Sinha","sequence":"additional","affiliation":[]},{"given":"N.","family":"Griffeth","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"187","article-title":"test sequence generation for adaptive interoperability testing","author":"kang","year":"1995","journal-title":"Proc Protocol Test Systems V"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35271-8_4"},{"key":"ref12","first-page":"95","article-title":"a test case generation method for concurrent programs","author":"arakawa","year":"1992","journal-title":"Protocol Test Systems IV"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/32.265636"},{"key":"ref14","first-page":"331","article-title":"deriving coordinated testers for interoperability","author":"castanet","year":"1994","journal-title":"Protocol Test Systems VI(C-19)"},{"key":"ref15","first-page":"51","article-title":"toward a formal framework for interoperability testing","author":"viho","year":"2001","journal-title":"Proc FORTE 01"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/5.533956"},{"key":"ref17","author":"holzmann","year":"1991","journal-title":"Design and Validation of Computer Protocols"},{"key":"ref18","author":"aho","year":"1974","journal-title":"The Design and Analysis of Computer Algorithms"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/26.111442"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00005-0"},{"key":"ref3","first-page":"44","article-title":"protocol testing: the first ten years, the next ten years","author":"sindu","year":"1990","journal-title":"Protocol Specification Testing and Verification"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(89)90023-8"},{"key":"ref5","author":"hao","year":"1997","journal-title":"Protocol conformance and interoperability testing based on formal methods"},{"key":"ref8","article-title":"interoperability testing: basis for the acceptance of communicating systems","author":"vermeer","year":"1994","journal-title":"Protocol Test Systems VI(C-19)"},{"key":"ref7","article-title":"ibm osi interoperability verification services","author":"bonnes","year":"1990","journal-title":"IFIP TC6 WG6 1 3rd Int Workshop Protocol Test System"},{"key":"ref2","author":"lynch","year":"1996","journal-title":"Distributed Algorithms"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"ref9","first-page":"371","article-title":"from conformance testing to interoperability testing","author":"rafiq","year":"1990","journal-title":"Proc 3rd Int Workshop Protocol Test Systems"},{"key":"ref20","year":"1997","journal-title":"Switching Systems Generic Requirements Call Processing"},{"key":"ref22","year":"2001","journal-title":"H 225 0 Call signalling protocols and media stream packetization for packet-based multimedia communication systems"},{"key":"ref21","year":"2000","journal-title":"H 323 Packet-based multimedia communications systems"},{"key":"ref23","year":"2001","journal-title":"Standards-Based IP Telephony Interoperability Profile Proposal"}],"container-title":["IEEE\/ACM Transactions on Networking"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/90\/29593\/01344006.pdf?arnumber=1344006","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:51:17Z","timestamp":1638219077000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1344006\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,10]]},"references-count":23,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2004,10]]}},"URL":"https:\/\/doi.org\/10.1109\/tnet.2004.836136","relation":{},"ISSN":["1063-6692"],"issn-type":[{"value":"1063-6692","type":"print"}],"subject":[],"published":{"date-parts":[[2004,10]]}}}