{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:59:31Z","timestamp":1725544771148},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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_18","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T13:22:40Z","timestamp":1146057760000},"page":"274-288","source":"Crossref","is-referenced-by-count":9,"title":["Reducing the Lengths of Checking Sequences by Overlapping"],"prefix":"10.1007","author":[{"given":"Hasan","family":"Ural","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fan","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_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 protocolconformance test sequence generation based on UIO sequences and rural Chinese postmantours. IEEE Trans. on Comm.\u00a039, 1604\u20131615 (1991)","journal-title":"IEEE Trans. on Comm."},{"key":"18_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-03521-2","volume-title":"Graph Theory with Applications","author":"J.A. Bondy","year":"1976","unstructured":"Bondy, J.A., Murty, U.S.R.: Graph Theory with Applications. Elsevier North Holland, Inc., New York (1976)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Chen, J., Hierons, R.M., Ural, H., Yenigun, H.: Eliminating redundant tests in a checkingsequence. In: Proc. of IFIP TestCom 2005, May 2005, pp. 146\u2013158 (2005)","DOI":"10.1007\/11430230_11"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"SE-4","author":"T. Chow","year":"1978","unstructured":"Chow, T.: Testing software design modeled by finite-state machines. IEEE Trans. Software Eng.\u00a0SE-4, 178\u2013187 (1978)","journal-title":"IEEE Trans. Software Eng."},{"key":"18_CR5","volume-title":"Combinatorial Optimization","author":"W.J. Cook","year":"1998","unstructured":"Cook, W.J., Cunningham, W.H., Pulleyblank, W.R., Schrijver, A.: Combinatorial Optimization. John Wiley and Sons, New York (1998)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.1109\/5.58319","volume":"78","author":"A.T. Dahbura","year":"1990","unstructured":"Dahbura, A.T., Sabnani, K.K., Uyar, M.U.: Formal methods for generating protocol conformance test sequences. Proc. of IEEE\u00a078, 1317\u20131325 (1990)","journal-title":"Proc. of IEEE"},{"key":"18_CR7","volume-title":"Computers and Intractability","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability. W.H. Freeman and Company, New York (1979)"},{"key":"18_CR8","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, NY (1962)"},{"key":"18_CR9","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. on Computer\u00a019, 551\u2013558 (1970)","journal-title":"IEEE Trans. on Computer"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proc. 5th. Symp. Switching Circuit Theory and Logical Design, Princeton, N.J, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"issue":"9","key":"18_CR11","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 Trans. on Computers\u00a051(9), 1111\u20131117 (2002)","journal-title":"IEEE Trans. on Computers"},{"key":"18_CR12","unstructured":"Hieron, R., Ural, H.: Optimizing the length of checking sequences. submitted to IEEE Trans. on Computers (2004)"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"799","DOI":"10.1016\/S0950-5849(99)00038-5","volume":"41","author":"K. Inan","year":"1999","unstructured":"Inan, K., Ural, H.: Efficient checking sequences for testing finite state machines. Information and Software Technology\u00a041, 799\u2013812 (1999)","journal-title":"Information and Software Technology"},{"key":"18_CR14","volume-title":"Switching and Finite State Automata Theory","author":"Z. Kohavi","year":"1978","unstructured":"Kohavi, Z.: Switching and Finite State Automata Theory. McGraw-Hill, New York (1978)"},{"key":"18_CR15","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. on Computers\u00a043, 306\u2013320 (1994)","journal-title":"IEEE Trans. on Computers"},{"key":"18_CR16","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 length of checking sequence. IEEE Trans. on Computers\u00a046, 93\u201399 (1997)","journal-title":"IEEE Trans. on Computers"},{"key":"18_CR17","first-page":"98","volume":"4","author":"M.P. Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Kibernetika\u00a04, 98\u2013108 (1973)","journal-title":"Kibernetika"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:04:01Z","timestamp":1619492641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11754008_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}