{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T00:07:56Z","timestamp":1760659676145,"version":"build-2065373602"},"reference-count":18,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1016\/s0950-5849(03)00060-0","type":"journal-article","created":{"date-parts":[[2003,5,27]],"date-time":"2003-05-27T18:48:19Z","timestamp":1054061299000},"page":"793-803","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":27,"title":["UIO sequence based checking sequences for distributed test architectures"],"prefix":"10.1016","volume":"45","author":[{"given":"Robert M","family":"Hierons","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(03)00060-0_BIB1","series-title":"Protocol Specification, Testing, and Verification","first-page":"75","article-title":"An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours","author":"Aho","year":"1988"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB2","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","article-title":"The synchronization problem in protocol testing and its complexity","volume":"40","author":"Boyd","year":"1991","journal-title":"Information Processing Letters"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB3","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","article-title":"Controllability and observability in distributed testing","volume":"41","author":"Cacciari","year":"1999","journal-title":"Information and Software Technology"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB4","first-page":"283","article-title":"An improved protocol test generation procedure based on UIOS","author":"Chan","year":"1989","journal-title":"Proceedings of SIGCOMM'89"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB5","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1109\/90.374116","article-title":"Minimum-cost synchronizable test sequences based on multiple UIO sequences","volume":"3","author":"Chen","year":"1995","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB6","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1109\/5.58319","article-title":"Formal methods for generating protocol conformance test sequences","volume":"78","author":"Dahbura","year":"1990","journal-title":"Proceedings of IEEE"},{"year":"1962","series-title":"Introduction to the Theory of Finite-State Machine","author":"Gill","key":"10.1016\/S0950-5849(03)00060-0_BIB7"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB8","first-page":"395","article-title":"Synchronizable checking sequences based on UIO sequences","author":"Guyot","year":"1995","journal-title":"Proceedings of IFIP IWPTS'95, Evry, France"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB9","series-title":"Proceedings in Fifth Annual Symposium Switching Circuit Theory and Logical Design","article-title":"Fault detecting experiments for sequential circuits","author":"Hennie","year":"1964"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB10","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1093\/comjnl\/40.4.220","article-title":"Testing from a finite state machine: extending invertibility to sequences","volume":"40","author":"Hierons","year":"1997","journal-title":"The Computer Journal"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB11","unstructured":"ISO\/IEC Open Systems Interconnection\u2014Conformance Testing Methodology and Framework, 9646-1, 1995."},{"key":"10.1016\/S0950-5849(03)00060-0_BIB12","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1109\/12.272431","article-title":"Testing finite state machines: state identification and verification","volume":"43","author":"Lee","year":"1994","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB13","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0920-5489(94)90003-5","article-title":"Test generation with respect to distributed interfaces","volume":"16","author":"Luo","year":"1994","journal-title":"Computer Standards and Interfaces"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB14","first-page":"285","article-title":"A protocol test generation procedure","volume":"15","author":"Sabnani","year":"1988","journal-title":"Computer Networks"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB15","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","article-title":"Synchronization and specification issues in protocol testing","volume":"32","author":"Sarikaya","year":"1984","journal-title":"IEEE Transactions on Communications"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB16","first-page":"1111","article-title":"Synchronizable test sequences of finite state machines","volume":"13","author":"Tai","year":"1998","journal-title":"Computer Networks"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB17","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1016\/0140-3664(93)90082-4","article-title":"Synchronizable test sequence generation using UIO sequences","volume":"16","author":"Ural","year":"1993","journal-title":"Computer Communications"},{"key":"10.1016\/S0950-5849(03)00060-0_BIB18","first-page":"80","article-title":"Observation inaccuracy in conformance testing with multiple testers","author":"Young","year":"1998","journal-title":"Proceedings of IEEE WASET"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000600?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584903000600?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:24:11Z","timestamp":1760585051000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584903000600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":18,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["S0950584903000600"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(03)00060-0","relation":{},"ISSN":["0950-5849"],"issn-type":[{"type":"print","value":"0950-5849"}],"subject":[],"published":{"date-parts":[[2003,9]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"UIO sequence based checking sequences for distributed test architectures","name":"articletitle","label":"Article Title"},{"value":"Information and Software Technology","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/S0950-5849(03)00060-0","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"converted-article","name":"content_type","label":"Content Type"},{"value":"Copyright \u00a9 2003 Elsevier B.V. All rights reserved.","name":"copyright","label":"Copyright"}]}}