{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T20:25:18Z","timestamp":1693859118663},"reference-count":21,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1982,12,1]],"date-time":"1982-12-01T00:00:00Z","timestamp":407548800000},"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 (1976)"],"published-print":{"date-parts":[[1982,12]]},"DOI":"10.1016\/0376-5075(82)90110-6","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:17:02Z","timestamp":1060298222000},"page":"383-395","source":"Crossref","is-referenced-by-count":8,"title":["A system for testing protocol implementations"],"prefix":"10.1016","volume":"6","author":[{"given":"David","family":"Rayner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0376-5075(82)90110-6_BIB1","first-page":"119","article-title":"Test and certification of standardised protocols","author":"Ansart","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB2","first-page":"127","article-title":"Tools for the certification of standardised protocols: Cerbere and Genepi","author":"Ansart","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB3","series-title":"Proc. Second International Workshop on Protocol Specification, Testing and Verification","article-title":"GENEPI\/A \u2014 a protocol independent system for testing protocol implementation","author":"Ansart","year":"1982"},{"key":"10.1016\/0376-5075(82)90110-6_BIB4","series-title":"Proc. Second International Workshop on Protocol Specification, Testing and Verification","article-title":"CERBERE, a tool to keep an eye on high level protocols","author":"Ansart","year":"1982"},{"key":"10.1016\/0376-5075(82)90110-6_BIB5","series-title":"Proc. IEEE Symposium on Computer Network Protocols","first-page":"12","article-title":"The certification of data communication protocols","author":"Bartlett","year":"1980"},{"key":"10.1016\/0376-5075(82)90110-6_BIB6","first-page":"15","article-title":"On the theoretical power of some testing methods","author":"Bochmann","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB7","series-title":"Proc. Second International Workshop on Protocol Specification, Testing and Verification","article-title":"Some experience with the use of formal specifications","author":"Bochmann","year":"1982"},{"key":"10.1016\/0376-5075(82)90110-6_BIB8","series-title":"Recommendation X.25, CCITT Yellow Book, output of the VIIth Plenary Assembly of CCITT","first-page":"100","author":"Comit\u00e9Consultatif International T\u00e9l\u00e9graphique et T\u00e9l\u00e9phonique","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB10","unstructured":"U. Faltin, E. Faul, A. Giessler, I. Guenther, W. Orth and H. Parslow, TESDI manual: testing and diagnosis aid for higher level protocols, IFV-IK-RZ, GMD, Darmstadt, FRG (undated)."},{"key":"10.1016\/0376-5075(82)90110-6_BIB11","series-title":"Implementation assessment of transport and network services: the test responder specification,","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB12","article-title":"Implementation assessment of transport and network services: an informal description of tests","author":"Henley","year":"1981","journal-title":"NPL DNACS TM 5\/81"},{"key":"10.1016\/0376-5075(82)90110-6_BIB13","article-title":"Data processing \u2014 open systems interconnection \u2014 basic reference model","author":"International Standards Organisation","year":"1982","journal-title":"ISO\/DIS 7498"},{"key":"10.1016\/0376-5075(82)90110-6_BIB14","series-title":"A network independent transport service","volume":"2","year":"1980"},{"key":"10.1016\/0376-5075(82)90110-6_BIB15","article-title":"Official definition of Coral 66","author":"Ministry of Defence","year":"1970"},{"key":"10.1016\/0376-5075(82)90110-6_BIB16","first-page":"25","article-title":"Assessing the performance of high level computer network protocols","author":"McCoy","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB17","article-title":"A benchmark for the implementations of the NBS transport protocol","author":"Nightingale","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB18","series-title":"Proc. Second International Workshop on Protocol Specification, Testing and Verification","article-title":"Protocol testing using a reference implementation","author":"Nightingale","year":"1982"},{"key":"10.1016\/0376-5075(82)90110-6_BIB19","series-title":"Protocol implementation assessment: philosophy and architecture","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB20","series-title":"Proc. National Telecommunications Conference","article-title":"SDL: CCITT specification and description language","volume":"Volume 4","author":"Rockstrom","year":"1981"},{"key":"10.1016\/0376-5075(82)90110-6_BIB21","series-title":"Proc. Second International Workshop on Protocol Specification, Testing and Verification","article-title":"Some experience with test sequence generation for protocols","author":"Sarikaya","year":"1982"},{"key":"10.1016\/0376-5075(82)90110-6_BIB22","series-title":"Protocol Testing \u2014 Towards Proof?, Volume 2: Testing and Certification","first-page":"131","article-title":"The verification of high level protocol implementations","author":"Weaving","year":"1981"}],"container-title":["Computer Networks (1976)"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0376507582901106?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0376507582901106?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T07:55:50Z","timestamp":1552636550000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0376507582901106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,12]]},"references-count":21,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1982,12]]}},"alternative-id":["0376507582901106"],"URL":"https:\/\/doi.org\/10.1016\/0376-5075(82)90110-6","relation":{},"ISSN":["0376-5075"],"issn-type":[{"value":"0376-5075","type":"print"}],"subject":[],"published":{"date-parts":[[1982,12]]}}}