{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:05:15Z","timestamp":1725473115386},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540474609"},{"type":"electronic","value":"9783540474623"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11901433_25","type":"book-chapter","created":{"date-parts":[[2006,11,20]],"date-time":"2006-11-20T12:40:51Z","timestamp":1164026451000},"page":"460-477","source":"Crossref","is-referenced-by-count":2,"title":["Conditions for Avoiding Controllability Problems in Distributed Testing"],"prefix":"10.1007","author":[{"given":"Jessica","family":"Chen","sequence":"first","affiliation":[]},{"given":"Lihua","family":"Duan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"25_CR1","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A.V. Aho","year":"1991","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. IEEE Trans. Comm.\u00a039(11), 1604\u20131615 (1991)","journal-title":"IEEE Trans. Comm."},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Bochmann, G.v., Petrenko, A., Bellal, O., Maguiraga, S.: Automating the process of test derivation from SDL specifications. In: Proc. of 8th SDL Forum (1997)","DOI":"10.1016\/B978-044482816-3\/50018-6"},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0020-0190(91)90166-F","volume":"4","author":"S. Boyd","year":"1991","unstructured":"Boyd, S., Ural, H.: The synchronization problem in protocol testing and its complexity. Information Processing Letters\u00a04(3), 131\u2013136 (1991)","journal-title":"Information Processing Letters"},{"key":"25_CR4","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":"25_CR5","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)"},{"issue":"5","key":"25_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/j.ipl.2006.02.001","volume":"98","author":"J. Chen","year":"2006","unstructured":"Chen, J., Hierons, R.M., Ural, H.: Overcoming observability problems in distributed test architectures. Information Processing Letter\u00a098(5), 177\u2013182 (2006)","journal-title":"Information Processing Letter"},{"key":"25_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/11754008_14","volume-title":"Testing of Communicating Systems","author":"J. Chen","year":"2006","unstructured":"Chen, J., Ural, H.: Detecting observability problems in distributed testing. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 213\u2013226. Springer, Heidelberg (2006)"},{"issue":"3","key":"25_CR8","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Software Eng. SE-4(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"25_CR9","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1137\/0219033","volume":"19","author":"D. Eppstein","year":"1990","unstructured":"Eppstein, D.: Reset sequences for monotonic automata. SIAM J. Computing\u00a019(3), 500\u2013510 (1990)","journal-title":"SIAM J. Computing"},{"issue":"6","key":"25_CR10","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1109\/T-C.1970.222975","volume":"19","author":"G. Gonenc","year":"1970","unstructured":"Gonenc, G.: A method for the design of fault detection experiments. IEEE Trans. Computers\u00a019(6), 551\u2013558 (1970)","journal-title":"IEEE Trans. Computers"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proc. of 5th Ann. Symp. Switching Circuit Theory and Logical Design, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"issue":"6","key":"25_CR12","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s001650070003","volume":"12","author":"R.M. Hierons","year":"2000","unstructured":"Hierons, R.M., Harman, M.: Testing conformance to a quasi-non-deterministic stream X-machine. Formal Aspects of Computing\u00a012(6), 423\u2013442 (2000)","journal-title":"Formal Aspects of Computing"},{"issue":"9","key":"25_CR13","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1109\/TC.2002.1032630","volume":"51","author":"R.M. Hierons","year":"2002","unstructured":"Hierons, R.M., Ural, H.: Reduced length checking sequences. IEEE Transactions on Computers\u00a051(9), 1111\u20131117 (2002)","journal-title":"IEEE Transactions on Computers"},{"issue":"12","key":"25_CR14","doi-asserted-by":"publisher","first-page":"793","DOI":"10.1016\/S0950-5849(03)00060-0","volume":"45","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M., Ural, H.: UIO sequence based checking sequences for distributed test architectures. Information and Software Technology\u00a045(12), 793\u2013803 (2003)","journal-title":"Information and Software Technology"},{"key":"25_CR15","volume-title":"Introduction to automata theory, languages, and computation","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation. Addison-Wesley, Reading (2001)"},{"key":"25_CR16","unstructured":"ISO\/IEC 9646. Information technology \u2013 Open Systems Interconnection \u2013 Conformance testing methodology and framework \u2013 Part 1-7. ISO (June 1996)"},{"issue":"12","key":"25_CR17","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1145\/364175.364185","volume":"11","author":"W.L. Johnson","year":"1968","unstructured":"Johnson, W.L., Porter, J.H., Ackley, S.I., Ross, D.T.: Automatic generation of efficient lexical processors using finite state techniques. Communications of the ACM\u00a011(12), 805\u2013813 (1968)","journal-title":"Communications of the ACM"},{"key":"25_CR18","volume-title":"Switching and finite automata theory","author":"Z. Kohavi","year":"1978","unstructured":"Kohavi, Z.: Switching and finite automata theory, 2nd edn. McGraw-Hill, New York (1978)","edition":"2"},{"key":"25_CR19","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0164-1212(01)00132-7","volume":"62","author":"R. Lai","year":"2002","unstructured":"Lai, R.: A survey of communication protocol testing. Journal of Systems and Software\u00a062, 21\u201346 (2002)","journal-title":"Journal of Systems and Software"},{"key":"25_CR20","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D. Lee","year":"1994","unstructured":"Lee, D., Yannakakis, M.: Testing finite state machines: state identification and verification. IEEE Tran. Computers\u00a043, 306\u2013320 (1994)","journal-title":"IEEE Tran. Computers"},{"issue":"8","key":"25_CR21","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines \u2014 a survey. Proceedings of The IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of The IEEE"},{"key":"25_CR22","unstructured":"Luo, G., Das, A., von Bochmann, G.: Generating tests for control portion of SDL specification. In: Proc. of Protocol test systems VI, pp. 51\u201366 (1994)"},{"key":"25_CR23","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"},{"issue":"1","key":"25_CR24","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/90.222912","volume":"1","author":"R.E. Miller","year":"1993","unstructured":"Miller, R.E., Paul, S.: On the generation of minimal length conformance tests for communications protocols. IEEE\/ACM Transactions on Networking\u00a01(1), 116\u2013129 (1993)","journal-title":"IEEE\/ACM Transactions on Networking"},{"key":"25_CR25","first-page":"129","volume":"34","author":"E.F. Moore","year":"1956","unstructured":"Moore, E.F.: Gedanken-experiments on sequenctial machines. Automata Studies\u00a034, 129\u2013153 (1956)","journal-title":"Automata Studies"},{"key":"25_CR26","unstructured":"Motteler, H., Chung, A., Sidhu, D.: Fault coverage of UIO-based methods for protocol testing. In: Proc. of IFIP TC6\/WG6.1 6th International Workshop on Protocol Test Systems, pp. 21\u201333 (1994)"},{"key":"25_CR27","unstructured":"Naito, S., Tsunoyama, M.: Fault detection for sequential machines by transition tours. In: Proc. of 11th. IEEE Fault Tolerant Computing Symposium, pp. 238\u2013243 (1981)"},{"key":"25_CR28","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1109\/12.599899","volume":"46","author":"I. Pomeranz","year":"1997","unstructured":"Pomeranz, I., Reddy, S.M.: Test generation for multiple state-table faults in finite-state machines. IEEE Transactions on Computers\u00a046, 783\u2013794 (1997)","journal-title":"IEEE Transactions on Computers"},{"issue":"15","key":"25_CR29","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"4","author":"K.K. Sabnani","year":"1988","unstructured":"Sabnani, K.K., Dahbura, A.T.: A protocol test generation procedure. Computer Networks and ISDN Systems\u00a04(15), 285\u2013297 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"issue":"7","key":"25_CR30","doi-asserted-by":"publisher","first-page":"609","DOI":"10.1016\/S0140-3664(99)00227-3","volume":"23","author":"K. Saleh","year":"2000","unstructured":"Saleh, K., Ural, H., Williams, A.: Test generation based on control and data dependencies within system specifications in SDL. Computer Communications\u00a023(7), 609\u2013627 (2000)","journal-title":"Computer Communications"},{"key":"25_CR31","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"},{"issue":"4","key":"25_CR32","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D.P. Sidhu","year":"1989","unstructured":"Sidhu, D.P., Leung, T.-K.: Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering\u00a015(4), 413\u2013426 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"25_CR33","doi-asserted-by":"crossref","unstructured":"Tan, Q.M., Petrenko, A.G.: Modeling basic LOTOS by FSMs for conformance testing. In: Proc. of 15th International Symposium on Protocol Specification, Testing and Verification (PSTV 15), pp. 137\u2013152 (1995)","DOI":"10.1007\/978-0-387-34892-6_9"},{"issue":"2","key":"25_CR34","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R. Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth-first search and linear graph algorithms. J. SIAM Comput.\u00a01(2), 146\u2013160 (1972)","journal-title":"J. SIAM Comput."},{"key":"25_CR35","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/S0020-0190(03)00364-8","volume":"88","author":"H. Ural","year":"2003","unstructured":"Ural, H., Whittier, D.: Distributed testing without encountering controlability and observability problems. Information Processing Letters\u00a088, 133\u2013141 (2003)","journal-title":"Information Processing Letters"},{"issue":"1","key":"25_CR36","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(1), 93\u201399 (1997)","journal-title":"IEEE Transactions on Computers"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11901433_25.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:37:06Z","timestamp":1619509026000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11901433_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540474609","9783540474623"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/11901433_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}