{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:43:46Z","timestamp":1725543826829},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_17","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"259-273","source":"Crossref","is-referenced-by-count":6,"title":["Using Distinguishing and UIO Sequences Together in a Checking Sequence"],"prefix":"10.1007","author":[{"given":"M. Cihan","family":"Yalcin","sequence":"first","affiliation":[]},{"given":"Husnu","family":"Yenigun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Prentice Hall International Editions","volume-title":"Computer Networks","author":"A.S. Tanenbaum","year":"1996","unstructured":"Tanenbaum, A.S.: Computer Networks, 3rd edn. Prentice Hall International Editions. Prentice Hall, Englewood Cliffs (1996)","edition":"3"},{"key":"17_CR2","volume-title":"Introduction to the Theory of Finite\u2013State Machines","author":"A. Gill","year":"1962","unstructured":"Gill, A.: Introduction to the Theory of Finite\u2013State Machines. McGraw-Hill, New York (1962)"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault\u2013detecting experiments for sequential circuits. In: Proceedings of Fifth Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"issue":"8","key":"17_CR4","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"},{"key":"17_CR5","first-page":"285","volume":"15","author":"K. Sabnani","year":"1988","unstructured":"Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks\u00a015, 285\u2013297 (1988)","journal-title":"Computer Networks"},{"key":"17_CR6","volume-title":"Switching and Finite Automata Theory","author":"Z. Kohavi","year":"1978","unstructured":"Kohavi, Z.: Switching and Finite Automata Theory. McGraw-Hill, New York (1978)"},{"issue":"3","key":"17_CR7","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 Trans. Computers\u00a043(3), 306\u2013320 (1994)","journal-title":"IEEE Trans. Computers"},{"key":"17_CR8","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 Transactions on Computers\u00a019, 551\u2013558 (1970)","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"17_CR9","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"},{"issue":"11","key":"17_CR10","doi-asserted-by":"publisher","first-page":"1604","DOI":"10.1109\/26.111442","volume":"39","author":"A. Aho","year":"1991","unstructured":"Aho, A., Dahbura, A., Lee, D., Uyar, M.: An optimization technique for protocol conformance test generation based on UIO sequences and rural chinese postman tours. IEEE Transactions on Communications\u00a039(11), 1604\u20131615 (1991)","journal-title":"IEEE Transactions on Communications"},{"issue":"4","key":"17_CR11","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1145\/75247.75274","volume":"19","author":"W. Chan","year":"1989","unstructured":"Chan, W., Vuong, C., Otp, M.: An improved protocol test generation procedure based on UIOS. ACM SIGCOMM Computer Communication Review\u00a019(4), 283\u2013294 (1989)","journal-title":"ACM SIGCOMM Computer Communication Review"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"915","DOI":"10.1007\/11569596_93","volume-title":"Computer and Information Sciences - ISCIS 2005","author":"K.T. Tekle","year":"2005","unstructured":"Tekle, K.T., Ural, H., Yalcin, M.C., Yenigun, H.: Generalizing redundancy elimination in checking sequences. In: Yolum, p., G\u00fcng\u00f6r, T., G\u00fcrgen, F., \u00d6zturan, C. (eds.) ISCIS 2005. LNCS, vol.\u00a03733, pp. 915\u2013926. Springer, Heidelberg (2005)"},{"issue":"9","key":"17_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"},{"key":"17_CR14","unstructured":"Hierons, R.M., Ural, H.: Optimizing the length of checking sequences. IEEE Transactions on Computers (2004) (accepted for publication)"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:01Z","timestamp":1619507041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11754008_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}