{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:00:06Z","timestamp":1725544806423},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540341840"},{"type":"electronic","value":"9783540341857"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754008_14","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"213-226","source":"Crossref","is-referenced-by-count":2,"title":["Detecting Observability Problems in Distributed Testing"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hasan","family":"Ural","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.: An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. In: Protocol Specification, Testing, and Verification VIII, Atlantic City, pp. 75\u201386. Elsevier (North-Holland) (1988)"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","volume":"40","author":"S. Boyd","year":"1991","unstructured":"Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters\u00a040, 131\u2013136 (1991)","journal-title":"Information Processing Letters"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/S0950-5849(99)00036-1","volume":"41","author":"L. Cacciari","year":"1999","unstructured":"Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Information and Software Technology\u00a041, 767\u2013780 (1999)","journal-title":"Information and Software Technology"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-30232-2_15","volume-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2004","author":"J. Chen","year":"2004","unstructured":"Chen, J., Hierons, R.M., Ural, H.: Conditions for resolving observability problems in distributed testing. In: de Frutos-Escrig, D., N\u00fa\u00f1ez, M. (eds.) FORTE 2004. LNCS, vol.\u00a03235, pp. 229\u2013242. Springer, Heidelberg (2004)"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/11562436_17","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"J. Chen","year":"2005","unstructured":"Chen, J., Hierons, R.M., Ural, H.: Resolving observability problems in distributed test architecture. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 219\u2013232. Springer, Heidelberg (2005)"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/90.374116","volume":"3","author":"W. Chen","year":"1995","unstructured":"Chen, W., Ural, H.: Synchronizable checking sequences based on multiple UIO sequences. IEEE\/ACM Transactions on Networking\u00a03, 152\u2013157 (1995)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"14_CR7","volume-title":"Introduction to the Theory of Finite-State Machines","author":"A. Gill","year":"1962","unstructured":"Gill, A.: Introduction to the Theory of Finite-State Machines. McGraw-Hill, New York (1962)"},{"key":"14_CR8","unstructured":"Guyot, S., Ural, H.: Synchronizable checking sequences based on UIO sequences. In: Proc. of IFIP IWPTS 1995, Evry, France, September 1995, pp. 395\u2013407 (1995)"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proc. of Fifth Ann. Symp. Switching Circuit Theory and Logical Design, Princeton, N.J., pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"issue":"9","key":"14_CR10","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S0950-5849(01)00169-0","volume":"43","author":"R.M. Hierons","year":"2001","unstructured":"Hierons, R.M.: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Information and Software Technology\u00a043(9), 551\u2013560 (2001)","journal-title":"Information and Software Technology"},{"issue":"8","key":"14_CR11","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite\u2013state machines \u2013 a survey. Proceedings of the IEEE\u00a084(8), 1089\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1287\/opre.21.2.498","volume":"21","author":"S. Lin","year":"1973","unstructured":"Lin, S., Kernighan, B.W.: An effective heuristic algorithm for the traveling-salesman problem. Operations Research\u00a021(2), 498\u2013516 (1973)","journal-title":"Operations Research"},{"key":"14_CR13","unstructured":"Luo, G., Dssouli, R., Bochmann, G.v.: Generating synchronizable test sequences based on finite state machine with distributed ports. In: The 6th IFIP Workshop on Protocol Test Systems, pp. 139\u2013153. Elsevier(North-Holland) (1993)"},{"key":"14_CR14","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0920-5489(94)90003-5","volume":"16","author":"G. Luo","year":"1994","unstructured":"Luo, G., Dssouli, R., Bochmann, G.v., Venkataram, P., Ghedamsi, A.: Test generation with respect to distributed interfaces. Computer Standards and Interfaces\u00a016, 119\u2013132 (1994)","journal-title":"Computer Standards and Interfaces"},{"key":"14_CR15","first-page":"285","volume":"15","author":"K.K. Sabnani","year":"1988","unstructured":"Sabnani, K.K., Dahbura, A.T.: A protocol test generation procedure. Computer Networks\u00a015, 285\u2013297 (1988)","journal-title":"Computer Networks"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1109\/TCOM.1984.1096074","volume":"32","author":"B. Sarikaya","year":"1984","unstructured":"Sarikaya, B., Bochmann, G.v.: Synchronization and specification issues in protocol testing. IEEE Transactions on Communications\u00a032, 389\u2013395 (1984)","journal-title":"IEEE Transactions on Communications"},{"key":"14_CR17","first-page":"1111","volume":"13","author":"K.C. Tai","year":"1998","unstructured":"Tai, K.C., Young, Y.C.: Synchronizable test sequences of finite state machines. Computer Networks\u00a013, 1111\u20131134 (1998)","journal-title":"Computer Networks"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1016\/0140-3664(93)90082-4","volume":"16","author":"H. Ural","year":"1993","unstructured":"Ural, H., Wang, Z.: Synchronizable test sequence generation using UIO sequences. Computer Communications\u00a016, 653\u2013661 (1993)","journal-title":"Computer Communications"},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/12.559807","volume":"46","author":"H. Ural","year":"1997","unstructured":"Ural, H., Wu, X., Zhang, F.: On minimizing the lengths of checking sequences. IEEE Transactions on Computers\u00a046, 93\u201399 (1997)","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR20","unstructured":"Young, Y.C., Tai, K.C.: Observation inaccuracy in conformance testing with multiple testers. In: Proc. of IEEE WASET, pp. 80\u201385 (1998)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:03:59Z","timestamp":1619507039000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11754008_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}