{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T09:31:44Z","timestamp":1773653504288,"version":"3.50.1"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319259444","type":"print"},{"value":"9783319259451","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_15","type":"book-chapter","created":{"date-parts":[[2015,11,7]],"date-time":"2015-11-07T03:20:37Z","timestamp":1446866437000},"page":"243-248","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Heuristics for Deriving Adaptive Homing and Distinguishing Sequences for Nondeterministic Finite State Machines"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Kushik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00fcsn\u00fc","family":"Yenig\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"15_CR1","doi-asserted-by":"crossref","unstructured":"Dorofeeva, R., El-Fakih, K., Maag, S., Cavalli, A.R., Yevtushenko, N.: FSM-based conformance testing methods: a survey annotated with experimental evaluation. Inf. Softw. Technol. 52, 1286\u20131297 (2010)","DOI":"10.1016\/j.infsof.2010.07.001"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/S0019-9958(61)80003-X","volume":"4","author":"A Gill","year":"1961","unstructured":"Gill, A.: State-identification experiments in finite automata. Inf. Control 4, 132\u2013154 (1961)","journal-title":"Inf. Control"},{"issue":"3","key":"15_CR3","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. Comput. 43(3), 306\u2013320 (1994)","journal-title":"IEEE Trans. Comput."},{"key":"15_CR4","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)"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Moore, E.F.: Gedanken-experiments on sequential machines. In: Automata Studies (Annals of Mathematical Studies no.1), pp. 129\u2013153. Princeton University Press (1956)","DOI":"10.1515\/9781400882618-006"},{"issue":"4","key":"15_CR6","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1002\/stvr.374","volume":"17","author":"N Spitsyna","year":"2007","unstructured":"Spitsyna, N., El-Fakih, K., Yevtushenko, N.: Studying the separability relation between finite state machines. Softw. Test. Verification Reliab. 17(4), 227\u2013241 (2007)","journal-title":"Softw. Test. Verification Reliab."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Kushik, N., Yevtushenko, N.: On the length of homing sequences for nondeterministic finite state machines. In: Proceedings of CIAA 2013, pp. 220\u2013231 (2013)","DOI":"10.1007\/978-3-642-39274-0_20"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Alur, R. Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Proceedings of the 27th ACM Symposium on Theory of Computing, pp. 363-372 (1995)","DOI":"10.1145\/225058.225161"},{"key":"15_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0357-7","author":"N Kushik","year":"2014","unstructured":"Kushik, N., El-Fakih, K., Yevtushenko, N., Cavalli, A.R.: On adaptive experiments for nondeterministic finite state machines. Softw. Tools Technol. Transf. (2014). doi: 10.1007\/s10009-014-0357-7","journal-title":"Softw. Tools Technol. Transf."},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/978-3-662-44857-1_3","volume-title":"Testing Software and Systems","author":"UC T\u00fcrker","year":"2014","unstructured":"T\u00fcrker, U.C., \u00dcnl\u00fcyurt, T., Yenig\u00fcn, H.: Lookahead-based approaches for minimizing adaptive distinguishing sequences. In: Merayo, M.G., de Oca, E.M. (eds.) ICTSS 2014. LNCS, vol. 8763, pp. 32\u201347. Springer, Heidelberg (2014)"},{"issue":"3","key":"15_CR11","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/s10703-014-0205-0","volume":"44","author":"UC T\u00fcrker","year":"2014","unstructured":"T\u00fcrker, U.C., Yenig\u00fcn, H.: Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Meth. Syst. Des. 44(3), 264\u2013294 (2014)","journal-title":"Formal Meth. Syst. Des."},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11759744_9","volume-title":"Formal Approaches to Software Testing","author":"A Petrenko","year":"2005","unstructured":"Petrenko, A., Yevtushenko, N.: Conformance tests as checking experiments for partial nondeterministic FSM. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 118\u2013133. Springer, Heidelberg (2005)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-06200-6_5","volume-title":"NASA Formal Methods","author":"RM Hierons","year":"2014","unstructured":"Hierons, R.M., T\u00fcrker, U.C.: Distinguishing sequences for partially specified FSMs. In: Badger, J.M., Rozier, K.Y. (eds.) NFM 2014. LNCS, vol. 8430, pp. 62\u201376. Springer, Heidelberg (2014)"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1007\/BF01068822","volume":"7","author":"MN Sokolovskii","year":"1971","unstructured":"Sokolovskii, M.N.: Diagnostic experiments with automata. Cybern. Syst. Anal. 7, 988\u2013994 (1971)","journal-title":"Cybern. Syst. Anal."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"Kushik, N., Yevtushenko, N.: Adaptive Homing is in P. In: Proceedings of MBT 2015, pp. 73\u201378 (2015)","DOI":"10.4204\/EPTCS.180.5"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,25]],"date-time":"2022-05-25T16:15:33Z","timestamp":1653495333000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}