{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T16:12:31Z","timestamp":1694621551138},"reference-count":25,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[1991,4,1]],"date-time":"1991-04-01T00:00:00Z","timestamp":670464000000},"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 Trans. Comput."],"published-print":{"date-parts":[[1991,4]]},"DOI":"10.1109\/12.88470","type":"journal-article","created":{"date-parts":[[2002,8,24]],"date-time":"2002-08-24T20:26:37Z","timestamp":1030220797000},"page":"514-525","source":"Crossref","is-referenced-by-count":8,"title":["Strategic testing environment with formal description techniques"],"prefix":"10.1109","volume":"40","author":[{"given":"K.","family":"Katsuyama","sequence":"first","affiliation":[]},{"given":"F.","family":"Sato","sequence":"additional","affiliation":[]},{"given":"T.","family":"Nakakawaji","sequence":"additional","affiliation":[]},{"given":"T.","family":"Mizuno","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"183","article-title":"A method for open systems testing and implementation of test sequence in a conformance testing tool","author":"ahooja","year":"1989","journal-title":"Proc 2nd Int Workshop Protocol Test Syst"},{"key":"ref11","article-title":"A formal multilayer test methodology and its application to OSI","author":"favreau","year":"1989","journal-title":"Proc 2nd Int Conf Formal Description Techniques for Distributed Syst Commun Protocols (FORTE'89)"},{"key":"ref12","first-page":"255","article-title":"Application of formal specification techniques to the specification of the MHS system","author":"iwabuchi","year":"1988","journal-title":"Proc Second Int Symp Interoperable Inform Syst"},{"key":"ref13","year":"1988","journal-title":"Functional Specification and Description Language"},{"key":"ref14","year":"1988","journal-title":"Information Processing Systems?Open Systems Interconnection?LOTOS?A Formal Description Technique Based on the Temporal Ordering of Observational Behavior"},{"key":"ref15","year":"1988","journal-title":"Information Processing Systems?Open Systems Interconnection?Estelle?A Formal Description Technique Based on an Extended State Transition Model"},{"key":"ref16","year":"1988","journal-title":"Information processing systems?Open Systems Interconnection?Specification of Abstract Syntax Notation One (ASN 1)"},{"key":"ref17","year":"1988","journal-title":"Information Processing Systems?Open Systems Interconnection?Specification of Encoding Rules for Abstract Syntax Notation One (ASN 1)"},{"key":"ref18","year":"1989","journal-title":"Information Processing Systems?OSI Conformance Testing Methodology and Framework"},{"key":"ref19","year":"1988","journal-title":"Management plan for Q 58?Formal methods in conformance testing"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"551","DOI":"10.1109\/T-C.1970.222975","article-title":"a method for the design of fault detection experiments","volume":"c 19","author":"gonenc","year":"1970","journal-title":"IEEE Transactions on Computers"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"ref6","first-page":"75","author":"aho","year":"1988","journal-title":"Protocol Specification Testing and Verification VIII"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","author":"sabnani","year":"1988","journal-title":"Comput Networks ISDN Syst"},{"key":"ref8","first-page":"73","article-title":"Automatic dynamic behavior generation in TTCN format from Estelle specifications","author":"forghani","year":"1989","journal-title":"Proc 2nd Int Workshop Protocol Test Syst"},{"key":"ref7","first-page":"191","author":"favreau","year":"1986","journal-title":"Protocol Specification Testing and Verification VI"},{"key":"ref2","first-page":"283","article-title":"Fault detection for sequential machines by transition tour","author":"naito","year":"1981","journal-title":"Proc IEEE Comput Conf"},{"key":"ref9","first-page":"171","article-title":"Phase-directed testing of Estelle specifications","author":"boyce","year":"1989","journal-title":"Proc 2nd Int Workshop Protocol Test Syst"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0169-7552(87)90087-0","author":"rayner","year":"1987","journal-title":"Comput Networks ISDN Syst"},{"key":"ref20","first-page":"147","author":"bochmann","year":"1987","journal-title":"Protocol Specification Testing and Verification VII"},{"key":"ref22","first-page":"55","article-title":"Development and evaluation of APRICOT (Tools for Abstract Syntax Notation One)","author":"nakakawaji","year":"1988","journal-title":"Proc Second Int Symp Interoperable Inform Syst"},{"key":"ref21","article-title":"TENT: Test Sequence Generation Tool for communication systems","author":"sato","year":"1989","journal-title":"Proc 2nd Int Conf Formal Description Techniques for Distributed Syst Commun Protocols (FORTE'89)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/32.21762"},{"key":"ref23","year":"1987","journal-title":"Information Processing Systems?Commitment Concurrency and Recovery"},{"key":"ref25","first-page":"303","article-title":"Ferry approaches to protocol testing and service interface","author":"bochmann","year":"1988","journal-title":"Proc Second Int Symp Interoperable Inform Syst"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx1\/12\/2888\/00088470.pdf?arnumber=88470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,29]],"date-time":"2021-11-29T19:07:24Z","timestamp":1638212844000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/88470\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,4]]},"references-count":25,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/12.88470","relation":{},"ISSN":["0018-9340"],"issn-type":[{"value":"0018-9340","type":"print"}],"subject":[],"published":{"date-parts":[[1991,4]]}}}
