{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:05:36Z","timestamp":1694624736749},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"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":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[1990]]},"DOI":"10.1109\/32.62442","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T23:09:11Z","timestamp":1030230551000},"page":"1337-1343","source":"Crossref","is-referenced-by-count":35,"title":["The derivation of conformance tests from LOTOS specifications"],"prefix":"10.1109","volume":"16","author":[{"given":"D.H.","family":"Pitt","sequence":"first","affiliation":[]},{"given":"D.E.","family":"Freestone","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","year":"1987","journal-title":"LOTOS?A Formal Description Technique Based on the Temporal Ordering of Observational Behavior"},{"key":"ref11","year":"0","journal-title":"OSI Conformance Testing Methodology and Framework Part 1 General Concepts"},{"key":"ref12","year":"0","journal-title":"OSI conformance testing methodology and framework part 2 abstract test suite specification"},{"key":"ref13","article-title":"Producing tests for implementation of OSI protocols","author":"linn","year":"1983","journal-title":"Proc 3rd Int Workshop Protocol Specification Testing and Verification"},{"key":"ref14","article-title":"Derivation and validation of test scenarios based on the formal specification language LOTOS","author":"de meer","year":"1986","journal-title":"Proc 6th Int Workshop Protocol Specification Testing and Verification"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume":"92","author":"milner","year":"1980","journal-title":"A Calculus of Communicating Systems"},{"key":"ref16","article-title":"Some experiences with test sequence generation in application layer","author":"monduai","year":"1986","journal-title":"Proc 6th Int Workshop Protocol Specification Testing and Verification"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"ref18","author":"pavel","year":"1984","journal-title":"Some experiences of testing protocol implementations"},{"key":"ref19","article-title":"LOTOS?A practical formal description technique for OSI","author":"turner","year":"1987","journal-title":"Online Conf"},{"key":"ref4","article-title":"Protocol testing, some comparison and lessons","author":"cowin","year":"1983","journal-title":"Proc 3rd Int Workshop Protocol Specification Testing and Verification"},{"key":"ref3","author":"cowin","year":"1985","journal-title":"Overview of a test suite for the ISO network convergence protocol"},{"key":"ref6","year":"0"},{"key":"ref5","year":"0"},{"key":"ref8","article-title":"Conformance testing of communications protocols in information systems","volume":"4","author":"halliwell","year":"1986","journal-title":"British Telecom Technol J"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69962-7"},{"key":"ref2","article-title":"LOTOS specifications, their implementation and their tests","author":"brinksma","year":"1986","journal-title":"Proc 6th Int Workshop Protocol Specification Testing and Verification"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0169-7552(87)90085-7"},{"key":"ref9","author":"hoare","year":"1986","journal-title":"Communicating Sequential Processes"},{"key":"ref20","article-title":"User-guided test sequence generation","author":"ural","year":"1983","journal-title":"Proc 3rd Int Workshop Protocol Specification Testing and Verification"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/32\/2273\/00062442.pdf?arnumber=62442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T20:05:47Z","timestamp":1638216347000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/62442\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"references-count":20,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/32.62442","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[1990]]}}}