{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:38Z","timestamp":1740124238531,"version":"3.37.3"},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T00:00:00Z","timestamp":1618272000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T00:00:00Z","timestamp":1618272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100002261","name":"RFBR","doi-asserted-by":"crossref","award":["19-0700327\/19"],"award-info":[{"award-number":["19-0700327\/19"]}],"id":[{"id":"10.13039\/501100002261","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2022,3]]},"DOI":"10.1007\/s11219-021-09548-z","type":"journal-article","created":{"date-parts":[[2021,4,13]],"date-time":"2021-04-13T08:03:44Z","timestamp":1618301024000},"page":"161-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating the complexity of deriving adaptive $$S'$$-homing and $$S'$$-synchronizing sequences for nondeterministic FSMs"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4006-1161","authenticated-orcid":false,"given":"Nina","family":"Yevtushenko","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3439-9534","authenticated-orcid":false,"given":"Victor","family":"Kuliamin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8691-6655","authenticated-orcid":false,"given":"Natalia","family":"Kushik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,4,13]]},"reference":[{"key":"9548_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R.,\u00a0Courcoubetis,  C., & Yannakakis, M. (1995). Distinguishing tests for nondeterministic and probabilistic machines. In Proceedings of the Twenty-Seventh Annual ACM Symposium on Theory of Computing, 29 May-1 June 1995, Las Vegas, Nevada, USA, pp. 363\u2013372. https:\/\/doi.org\/10.1145\/225058.225161","DOI":"10.1145\/225058.225161"},{"issue":"3","key":"9548_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. (1978). Testing software design modeled by finite-state machines. IEEE Transactions on Software Engineering, 4(3), 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9548_CR3","volume-title":"Introduction to the Theory of Finite-state Machines","author":"A Gill","year":"1962","unstructured":"Gill, A. (1962). Introduction to the Theory of Finite-state Machines. New York: McGraw-Hill."},{"key":"9548_CR4","doi-asserted-by":"crossref","unstructured":"Hennie, F. C. (1964). Fault detecting experiments for sequential circuits. In 5th Annual Symposium on Switching Circuit Theory and Logical Design, Princeton, New Jersey, USA, November 11-13, 1964, pp. 95\u2013110. https:\/\/doi.org\/10.1109\/SWCT.1964.8","DOI":"10.1109\/SWCT.1964.8"},{"issue":"9","key":"9548_CR5","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1109\/TC.2002.1032630","volume":"51","author":"RM Hierons","year":"2002","unstructured":"Hierons, R. M., & Ural, H. (2002). Reduced length checking sequences. IEEE Trans. Computers, 51(9), 1111\u20131117.\u00a0https:\/\/doi.org\/10.1109\/TC.2002.1032630","journal-title":"IEEE Trans. Computers"},{"key":"9548_CR6","doi-asserted-by":"crossref","unstructured":"Ito, M. & Shikishima-Tsuji,\u00a0K. (2004). Some results on directable automata. In Theory Is Forever, Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, pp. 125\u2013133. https:\/\/doi.org\/10.1007\/978-3-540-27812-2n12","DOI":"10.1007\/978-3-540-27812-2_12"},{"key":"9548_CR7","doi-asserted-by":"crossref","unstructured":"Kushik, N., El-Fakih, K.,\u00a0& Yevtushenko, N. (2013). Adaptive homing and distinguishing experiments for nondeterministic finite state machines. In Testing Software and Systems - 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, pp. 33\u201348. https:\/\/doi.org\/10.1007\/978-3-642-41707-8n3","DOI":"10.1007\/978-3-642-41707-8_3"},{"issue":"3","key":"9548_CR8","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10009-014-0357-7","volume":"18","author":"N Kushik","year":"2016","unstructured":"Kushik, N., El-Fakih, K., Yevtushenko, N., & Cavalli, A. R. (2016a). On adaptive experiments for nondeterministic finite state machines. STTT, 18(3), 251\u2013264.\u00a0https:\/\/doi.org\/10.1007\/s10009-014-0357-7","journal-title":"STTT"},{"key":"9548_CR9","doi-asserted-by":"crossref","unstructured":"Kushik, N., L\u00f3pez, J., Cavalli, A.\u00a0R., & Yevtushenko, N. (2016b). Improving protocol passive testing through gedanken experiments with finite state machines. In 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, Vienna, Austria, August 1-3, 2016, pp. 315\u2013322. https:\/\/doi.org\/10.1109\/QRS.2016.43","DOI":"10.1109\/QRS.2016.43"},{"key":"9548_CR10","doi-asserted-by":"crossref","unstructured":"Kushik, N., & Yevtushenko, N. (2013). On the length of homing sequences for nondeterministic finite state machines. In Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, pp. 220\u2013231.","DOI":"10.1007\/978-3-642-39274-0_20"},{"key":"9548_CR11","doi-asserted-by":"crossref","unstructured":"Kushik, N., & Yevtushenko, N. (2015). Adaptive homing is in P. In Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015., pp. 73\u201378.","DOI":"10.4204\/EPTCS.180.5"},{"key":"9548_CR12","doi-asserted-by":"crossref","unstructured":"Kushik, N., Yevtushenko, N., & Yenig\u00fcn, H. (2016c).\u00a0Reducing the complexity of checking the existence and derivation of adaptive synchronizing experiments for nondeterministic fsms. In Proceedings of the International Workshop on Domain Specific Model-based App Roaches to Verification and Validation, AMARETTO@MODELSWARD 2016, Rome, Italy, February 19-21, 2016., pp. 83\u201390. https:\/\/doi.org\/10.5220\/0005854500830090","DOI":"10.5220\/0005854500830090"},{"issue":"3","key":"9548_CR13","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1109\/12.272431","volume":"43","author":"D Lee","year":"1994","unstructured":"Lee, D., & Yannakakis, M. (1994). Testing finite-state machines: State identification and verification. IEEE Transaction on Computers,43(3), 306\u2013320. https:\/\/doi.org\/10.1109\/12.272431","journal-title":"IEEE Trans. Computers"},{"key":"9548_CR14","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D Lee","year":"1996","unstructured":"Lee, D., & Yannakakis, M. (1996). Principles and methods of testing finite state machines-a survey. Proceedings of the IEEE,84, 1090\u20131123. https:\/\/doi.org\/10.1109\/5.533956","journal-title":"Proceedings of the IEEE"},{"key":"9548_CR15","doi-asserted-by":"crossref","unstructured":"Petrenko, A., & Yevtushenko, H. (2005). Conformance tests as checking experiments for partial nondeterministic FSM. In Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers, pp. 118\u2013133. https:\/\/doi.org\/10.1007\/11759744n9","DOI":"10.1007\/11759744_9"},{"key":"9548_CR16","doi-asserted-by":"crossref","unstructured":"Sandberg, S. (2004). Homing and synchronizing sequences. In Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004], pp. 5\u201333. https:\/\/doi.org\/101007\/11498490n2","DOI":"10.1007\/11498490_2"},{"issue":"3","key":"9548_CR17","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. (2014). Hardness and inapproximability of minimizing adaptive distinguishing sequences. Formal Methods in System Design,44(3), 264\u2013294.","journal-title":"Formal Methods in System Design"},{"key":"9548_CR18","doi-asserted-by":"crossref","unstructured":"von Bochmann, G., & Petrenko, A. (1994). Protocol testing: Review of methods and relevance for software testing. In Proceedings of the 1994 International Symposium on Software Testing and Analysis, ISSTA 1994, Seattle, WA, USA, August 17-19, 1994, pp. 109\u2013124. https:\/\/doi.org\/10.1145\/186258.187153","DOI":"10.1145\/186258.187153"},{"key":"9548_CR19","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.ipl.2017.07.001","volume":"127","author":"H Yenig\u00fcn","year":"2017","unstructured":"Yenig\u00fcn, H., Yevtushenko, N., & Kushik, N. (2017). The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic fsms. Inf. Process. Lett., 127, 49\u201353. https:\/\/doi.org\/10.1016\/j.ipl.2017.07.001","journal-title":"Inf. Process. Lett."},{"key":"9548_CR20","doi-asserted-by":"crossref","unstructured":"Yevtushenko, N., Kuliamin,\u00a0V.\u00a0V.,\u00a0& Kushik, N. (2019). Evaluating the complexity of deriving adaptive homing, synchronizing and distinguishing sequences for nondeterministic fsms. In Testing Software and Systems - 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, pp. 86\u2013103. https:\/\/doi.org\/10.1007\/978-3-030-31280-0n6","DOI":"10.1007\/978-3-030-31280-0_6"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-021-09548-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-021-09548-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-021-09548-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,22]],"date-time":"2022-04-22T10:10:42Z","timestamp":1650622242000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-021-09548-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,13]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,3]]}},"alternative-id":["9548"],"URL":"https:\/\/doi.org\/10.1007\/s11219-021-09548-z","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2021,4,13]]},"assertion":[{"value":"26 February 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 April 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}