{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T21:18:27Z","timestamp":1758057507283,"version":"3.44.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032051875","type":"print"},{"value":"9783032051882","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T00:00:00Z","timestamp":1757980800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-05188-2_4","type":"book-chapter","created":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:52:51Z","timestamp":1757973171000},"page":"53-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["On Using Homing Sequences Instead of\u00a0Distinguishing in\u00a0FSM-Based Testing"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Kushik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,16]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Akenshina, E., Shabaldina, N., Yevtushenko, N.: Deriving exhaustive test suits for nondeterministic FSMs w.r.t. non-separability relation. In: Third International Conference on Software Testing, Verification and Validation, ICST 2010, Paris, France, 7\u20139 April 2010, Workshops Proceedings, pp. 46\u201353. IEEE Computer Society (2010). https:\/\/doi.org\/10.1109\/ICSTW.2010.29","DOI":"10.1109\/ICSTW.2010.29"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. Softw. Eng. 4(3), 178\u2013187 (1978). https:\/\/doi.org\/10.1109\/TSE.1978.231496","journal-title":"IEEE Trans. Softw. Eng."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Hennie, F.C.: Fault detecting experiments for sequential circuits. In: Proceedings of Symposium on Switching Circuit Theory and Logical Design, pp. 95\u2013110 (1964)","DOI":"10.1109\/SWCT.1964.8"},{"key":"4_CR4","volume-title":"Switching and Finite Automata Theory","author":"Z Kohavi","year":"1978","unstructured":"Kohavi, Z.: Switching and Finite Automata Theory. McGraw-Hill, Columbus (1978)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-22256-6_20","volume-title":"Implementation and Application of Automata","author":"N Kushik","year":"2011","unstructured":"Kushik, N., El-Fakih, K., Yevtushenko, N.: Preset and adaptive homing experiments for nondeterministic finite state machines. In: Bouchou-Markhoff, B., Caron, P., Champarnaud, J.-M., Maurel, D. (eds.) CIAA 2011. LNCS, vol. 6807, pp. 215\u2013224. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-22256-6_20"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Kushik, N., Yevtushenko, N., L\u00f3pez, J.: Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization. In: Clark, D., Men\u00e9ndez, H.D., Cavalli, A.R. (eds.) Testing Software and Systems - 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, 10\u201312 November 2021, Proceedings. LNCS, vol. 13045, pp. 55\u201361. Springer, Heidelberg (2021). https:\/\/doi.org\/10.1007\/978-3-031-04673-5_4","DOI":"10.1007\/978-3-031-04673-5_4"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Kushik, N., Yevtushenko, N., L\u00f3pez, J.: Probabilistic approach for minimizing checking sequences for non-deterministic FSMs. In: Bonfanti, S., Gargantini, A., Salvaneschi, P. (eds.) Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, 18\u201320 September 2023, Proceedings. LNCS, vol. 14131, pp. 237\u2013243. Springer, Heidelberg (2023). https:\/\/doi.org\/10.1007\/978-3-031-43240-8_15","DOI":"10.1007\/978-3-031-43240-8_15"},{"issue":"3","key":"4_CR8","doi-asserted-by":"crossref","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."},{"issue":"8","key":"4_CR9","doi-asserted-by":"crossref","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 - a survey. Proc. IEEE 84(8), 1090\u20131123 (1996)","journal-title":"Proc. IEEE"},{"key":"4_CR10","doi-asserted-by":"publisher","unstructured":"Sachtleben, R., Peleska, J.: Effective grey-box testing with partial FSM models. Softw. Test. Verificat. Reliab. 32(2) (2022). https:\/\/doi.org\/10.1002\/STVR.1806","DOI":"10.1002\/STVR.1806"},{"issue":"4","key":"4_CR11","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. Verificat. Reliab. 17(4), 227\u2013241 (2007). https:\/\/doi.org\/10.1002\/stvr.374","journal-title":"Softw. Test. Verificat. Reliab."},{"issue":"9","key":"4_CR12","doi-asserted-by":"publisher","first-page":"4371","DOI":"10.1109\/TSE.2023.3291137","volume":"49","author":"UC T\u00fcrker","year":"2023","unstructured":"T\u00fcrker, U.C., Hierons, R.M., Barlas, G.D., El-Fakih, K.: Incomplete adaptive distinguishing sequences for non-deterministic FSMs. IEEE Trans. Softw. Eng. 49(9), 4371\u20134389 (2023). https:\/\/doi.org\/10.1109\/TSE.2023.3291137","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"4_CR13","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1007\/BF01068590","volume":"9","author":"MP Vasilevskii","year":"1973","unstructured":"Vasilevskii, M.P.: Failure diagnosis of automata. Cybernetics 9(4), 653\u2013665 (1973)","journal-title":"Cybernetics"},{"key":"4_CR14","doi-asserted-by":"publisher","unstructured":"Yevtushenko, N., Kushik, N.: Decreasing the length of adaptive distinguishing experiments for nondeterministic merging-free finite state machines. In: 2015 IEEE East-West Design & Test Symposium, EWDTS 2015, Batumi, Georgia, 26\u201329 September 2015, pp.\u00a01\u20134. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/EWDTS.2015.7493120,","DOI":"10.1109\/EWDTS.2015.7493120"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05188-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,15]],"date-time":"2025-09-15T21:52:52Z","timestamp":1757973172000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05188-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,16]]},"ISBN":["9783032051875","9783032051882"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05188-2_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,9,16]]},"assertion":[{"value":"16 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICTSS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP International Conference on Testing Software and Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Limassol","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cyprus","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pts2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ictss-2025","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}