{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:57:51Z","timestamp":1742968671257,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540401230"},{"type":"electronic","value":"9783540448303"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44830-6_12","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:56:53Z","timestamp":1184590613000},"page":"146-162","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Generating Checking Sequences for a Distributed Test Architecture"],"prefix":"10.1007","author":[{"given":"Hasan","family":"Ural","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Craig","family":"Williams","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","volume":"40","author":"S. Boyd","year":"1991","unstructured":"S. Boyd and H. Ural, \u201cThe synchronization problem in protocol testing and its complexity,\u201d Information Processing Letters, vol. 40, pp. 131\u2013136, 1991.","journal-title":"Information Processing Letters"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L. Cacciari","year":"1999","unstructured":"L. Cacciari and O. Rafiq, \u201cControllability and observability in distributed testing,\u201d Information and Software Technology, vol. 41, pp. 767\u2013780, 1999.","journal-title":"Information and Software Technology"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/90.374116","volume":"3","author":"W. Chen","year":"1995","unstructured":"W. Chen and H. Ural, \u201cSynchronizable checking sequences based on multiple UIO sequences,\u201d IEEE\/ACM Transactions on Networking, vol 3, pp. 152\u2013157, 1995.","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"12_CR4","volume-title":"Intro. to the Theory of Finite-State Machines","author":"A. Gill","year":"1962","unstructured":"A. Gill, Intro. to the Theory of Finite-State Machines, New York: McGraw-Hill, 1962."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G. Gonenc","year":"1970","unstructured":"G. Gonenc, \u201cA method for the design of fault detection experiments\u201d, IEEE Trans. on Computers, vol. 19, pp. 551\u2013558, 1970.","journal-title":"IEEE Trans. on Computers"},{"key":"12_CR6","unstructured":"S. Guyot and H. Ural, \u201cSynchronizable checking sequences based on UIO sequences,\u201d Proc. IFIP IWPTS\u201995, Evry, France, 395\u2013407, Sept. 1995."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"F.C. Hennie, \u201cFault detecting experiments for sequential circuits\u201d, Proc. Fifth Ann. Symp. Switching Circuit Theory and Logical Design, pp. 95\u2013110, Princeton, N.J., 1964.","DOI":"10.1109\/SWCT.1964.8"},{"key":"12_CR8","unstructured":"R.M. Hierons and H. Ural, \u201cUIO sequence based checking sequences for distributed test architectures\u201d, Accepted for publication in JIST."},{"key":"12_CR9","unstructured":"ISO\/IEC Information technology \u2014 Opens Systems Interconnection \u2014 Conformance testing methodology and framework, 9646-1, Part 1: General Concepts, 1995."},{"key":"12_CR10","unstructured":"ISO\/IEC Open Distributed Processing, Reference Model, 10748, Parts 1\u20134, 1995."},{"key":"12_CR11","unstructured":"Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, Inc.: New York, N.Y."},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D. Lee","year":"1994","unstructured":"D. Lee and M. Yannakakis, \u201cTesting finite state machines: State identification and verification,\u201d IEEE Transactions on Computers, vol. 43, pp. 306\u2013320, 1994.","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0920-5489(94)90003-5","volume":"16","author":"G. Luo","year":"1994","unstructured":"G. Luo, R. Dssouli, G. v. Bochmann, P. Venkataram and A. Ghedamsi, \u201cTest generation with respect to distributed interfaces,\u201d Computer Standards and Interfaces, vol. 16, 119\u2013132, 1994.","journal-title":"Computer Standards and Interfaces"},{"key":"12_CR14","first-page":"285","volume":"15","author":"K.K. Sabnani","year":"1988","unstructured":"K.K. Sabnani and A.T. Dahbura, \u201cA protocol test generation procedure,\u201d Computer Networks vol. 15, pp. 285\u2013297, 1988.","journal-title":"Computer Networks"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"B. Sarikaya and G. v. Bochmann, \u201cSynchronization and specification issues in protocol testing,\u201d IEEE Transactions on Communications, vol. 32, pp. 389\u2013395, Apr. 1984.","DOI":"10.1109\/TCOM.1984.1096074"},{"key":"12_CR16","first-page":"1111","volume":"13","author":"K.C. Tai","year":"1998","unstructured":"K.C. Tai and Y.C. Young, \u201cSynchronizable test sequences of finite state machines,\u201d Computer Networks, vol. 13, pp. 1111\u20131134, 1998.","journal-title":"Computer Networks"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1016\/0140-3664(93)90082-4","volume":"16","author":"H. Ural","year":"1993","unstructured":"H. Ural and Z. Wang, \u201cSynchronizable test sequence generation using UIO sequences,\u201d Computer Communications, vol. 16, pp. 653\u2013661, 1993.","journal-title":"Computer Communications"},{"key":"12_CR18","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/12.559807","volume":"46","author":"H. Ural","year":"1997","unstructured":"H. Ural, X. Wu and F. Zhang, \u201cOn minimizing the lengths of checking sequences,\u201d IEEE Transactions on Computers, vol. 46, pp. 93\u201399, 1997.","journal-title":"IEEE Transactions on Computers"},{"key":"12_CR19","volume-title":"Solutions to Controllability and Observability Problems in Distributed Testing","author":"D. Whittier","year":"2001","unstructured":"D. Whittier, \u201cSolutions to Controllability and Observability Problems in Distributed Testing,\u201d Master\u2019s thesis, University of Ottawa, Canada, 2001."},{"key":"12_CR20","unstructured":"Y.C. Young and K.C. Tai, \u201cObservation inaccuracy in conformance testing with multiple testers,\u201d Proc IEEE WASET, 80\u201385, 1998."}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44830-6_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,23]],"date-time":"2020-01-23T16:11:59Z","timestamp":1579795919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44830-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540401230","9783540448303"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44830-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"24 June 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}