{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:49:56Z","timestamp":1761932996776,"version":"build-2065373602"},"reference-count":29,"publisher":"Elsevier BV","issue":"5","license":[{"start":{"date-parts":[[1992,6,1]],"date-time":"1992-06-01T00:00:00Z","timestamp":707356800000},"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 Communications"],"published-print":{"date-parts":[[1992,6]]},"DOI":"10.1016\/0140-3664(92)90092-s","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T22:34:07Z","timestamp":1060295647000},"page":"311-325","source":"Crossref","is-referenced-by-count":54,"title":["Formal methods for test sequence generation"],"prefix":"10.1016","volume":"15","author":[{"given":"Hasan","family":"Ural","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"year":"1962","series-title":"Introduction to the Theory of Finite-state Machines","author":"Gill","key":"10.1016\/0140-3664(92)90092-S_BIB1"},{"key":"10.1016\/0140-3664(92)90092-S_BIB2","first-page":"1317","article-title":"Formal methods for generating protocol conformance test sequences","volume":"Vol 78","author":"Dahbura","year":"1990"},{"issue":"No 4","key":"10.1016\/0140-3664(92)90092-S_BIB3","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1109\/32.16602","article-title":"Formal methods for protocol testing: A detailed study","volume":"Vol 15","author":"Sidhu","year":"1989","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0140-3664(92)90092-S_BIB4","series-title":"Protocol Specification, Testing and Verification 10","first-page":"47","article-title":"Protocol testing","author":"Sidhu","year":"1990"},{"issue":"No 2","key":"10.1016\/0140-3664(92)90092-S_BIB5","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0140-3664(87)90104-6","article-title":"Protocol testing techniques","volume":"Vol 10","author":"Wang","year":"1987","journal-title":"Comput. Commun."},{"key":"10.1016\/0140-3664(92)90092-S_BIB6","series-title":"Proc. 11th IEEE Fault Tolerant Computing Symposium","first-page":"238","article-title":"Fault detection for sequential machines by transition tours","author":"Naito","year":"1981"},{"key":"10.1016\/0140-3664(92)90092-S_BIB7","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","article-title":"Synchronization and specification issues in protocol testing","volume":"Vol 32","author":"Sarikaya","year":"1984","journal-title":"IEEE Trans. Commun."},{"key":"10.1016\/0140-3664(92)90092-S_BIB8","series-title":"Proc. IEEE Global Telecommun. Conf.","first-page":"68","article-title":"Optimal test sequence generation for protocols: Chinese postman algorithm applied to Q.931","author":"Uyar","year":"1986"},{"key":"10.1016\/0140-3664(92)90092-S_BIB9","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":"Vol 19","author":"Gonenc","year":"1970","journal-title":"IEEE Trans. Comput."},{"issue":"No 3","key":"10.1016\/0140-3664(92)90092-S_BIB10","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1109\/TSE.1978.231496","article-title":"Testing software design modelled by finite-state machines","volume":"Vol 4","author":"Chow","year":"1978","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/0140-3664(92)90092-S_BIB11","series-title":"Proc. 9th Data Commun. Symposium","first-page":"36","article-title":"A new technique for generating protocol tests","author":"Sabnani","year":"1985"},{"key":"10.1016\/0140-3664(92)90092-S_BIB12","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","article-title":"A protocol test generation procedure","volume":"Vol 15","author":"Sabnani","year":"1988","journal-title":"Comput. Networks & ISDN Syst."},{"key":"10.1016\/0140-3664(92)90092-S_BIB13","series-title":"Protocol Specification, Testing, and Verification 8","first-page":"75","article-title":"An optimization technique for protocol conformance test sequence generation based on UIO sequences and rural Chinese postman tours","author":"Aho","year":"1988"},{"key":"10.1016\/0140-3664(92)90092-S_BIB14","series-title":"Protocol Specification, Testing and Verification 9","first-page":"131","article-title":"Protocol conformance testing using multiple UIO sequences","author":"Shen","year":"1989"},{"key":"10.1016\/0140-3664(92)90092-S_BIB15","first-page":"273","article-title":"Graphic programming using odd or even points","volume":"Vol 1","author":"Kuan","year":"1962","journal-title":"Chinese Math."},{"year":"1978","series-title":"Switching and Finite Automata Theory","author":"Kohavi","key":"10.1016\/0140-3664(92)90092-S_BIB16"},{"year":"1987","series-title":"ISO\/TC97\/SC21, OSI conformance testing methodology and framework \u2014 Part 1\u20135, ISO 2nd DP9646-1 revised text","key":"10.1016\/0140-3664(92)90092-S_BIB17"},{"key":"10.1016\/0140-3664(92)90092-S_BIB18","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0169-7552(87)90087-0","article-title":"OSI conformance testing","volume":"Vol 14","author":"Rayner","year":"1987","journal-title":"Comput. Networks & ISDN Syst."},{"key":"10.1016\/0140-3664(92)90092-S_BIB19","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BF01580113","article-title":"Matching, Euler tours and the Chinese postman","volume":"Vol 5","author":"Edmonds","year":"1973","journal-title":"Math. Program."},{"year":"1965","series-title":"Finite Graphs and Networks","author":"Busacker","key":"10.1016\/0140-3664(92)90092-S_BIB20"},{"key":"10.1016\/0140-3664(92)90092-S_BIB21","series-title":"Proc. ACM SIGCOMM'89","first-page":"283","article-title":"An improved protocol test generation procedure based on UIOS","author":"Chan","year":"1989"},{"key":"10.1016\/0140-3664(92)90092-S_BIB22","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1002\/net.3230060305","article-title":"On general routing problems","volume":"Vol 6","author":"Lenstra","year":"1976","journal-title":"Networks"},{"article-title":"An improved method for test sequence generation","year":"1990","author":"Ural","key":"10.1016\/0140-3664(92)90092-S_BIB23"},{"key":"10.1016\/0140-3664(92)90092-S_BIB24","series-title":"Proc. IEEE INFOCOM'88","first-page":"71","article-title":"An experience in estimating the fault coverage of a protocol test","author":"Dahbura","year":"1988"},{"key":"10.1016\/0140-3664(92)90092-S_BIB25","series-title":"Proc. IEEE INFOCOM'88","first-page":"80","article-title":"Fault coverage of protocol test methods","author":"Sidhu","year":"1988"},{"key":"10.1016\/0140-3664(92)90092-S_BIB26","series-title":"Protocol Specification, Testing and Verification 10","first-page":"85","article-title":"Approaches utilizing segment overlap to minimize test sequences","author":"Chen","year":"1990"},{"key":"10.1016\/0140-3664(92)90092-S_BIB27","series-title":"Proc. 3rd Int. Workshop on Protocol Test Systems","article-title":"Generating minimal length test sequences for conformance testing of communication protocols","author":"Miller","year":"1990"},{"key":"10.1016\/0140-3664(92)90092-S_BIB28","series-title":"Proc. ACM SIGCOMM'90","first-page":"118","article-title":"Protocol conformance test generation using multiple UIO sequences with overlapping","author":"Yang","year":"1990"},{"issue":"No 9","key":"10.1016\/0140-3664(92)90092-S_BIB29","doi-asserted-by":"crossref","first-page":"976","DOI":"10.1109\/32.92918","article-title":"On the complexity of optimal test sequence generation","volume":"Vol 17","author":"Boyd","year":"1991","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Computer Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:014036649290092S?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:014036649290092S?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T08:52:35Z","timestamp":1552639955000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/014036649290092S"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,6]]},"references-count":29,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1992,6]]}},"alternative-id":["014036649290092S"],"URL":"https:\/\/doi.org\/10.1016\/0140-3664(92)90092-s","relation":{},"ISSN":["0140-3664"],"issn-type":[{"type":"print","value":"0140-3664"}],"subject":[],"published":{"date-parts":[[1992,6]]}}}