{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:21:49Z","timestamp":1775053309248,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540730651","type":"print"},{"value":"9783540730668","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73066-8_21","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T08:07:13Z","timestamp":1187424433000},"page":"305-318","source":"Crossref","is-referenced-by-count":5,"title":["Testing Nondeterministic Finite State Machines with Respect to the Separability Relation"],"prefix":"10.1007","author":[{"given":"Natalia","family":"Shabaldina","sequence":"first","affiliation":[]},{"given":"Khaled","family":"El-Fakih","sequence":"additional","affiliation":[]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Kloosterman, H.: Test derivation from non-deterministic finite state machines. In: Proceedings of the IFIP Fifth International Workshop on Protocol Test Systems, Canada, pp. 297\u2013308 (1992)"},{"key":"21_CR2","first-page":"309","volume":"C-11","author":"P. Tripathy","year":"1993","unstructured":"Tripathy, P., Naik, K.: Generation of adaptive test cases from nondeterministic Finite State models. IFIP Trans. C: Commun. System\u00a0C-11, 309\u2013320 (1993)","journal-title":"IFIP Trans. C: Commun. System"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Luo, G., Petrenko, A., Bochmann, G.v.: Selecting test sequences for partially specified nondeterministic finite state machines. In: Proc. 7th International Workshop on Protocol Test Systems (1994)","DOI":"10.1007\/978-0-387-34883-4_6"},{"issue":"2","key":"21_CR4","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G. Luo","year":"1994","unstructured":"Luo, G., Bochmann, G.v., Petrenko, A.: Test selection based on communicating non-deterministic finite-state machines using a generalized Wp-method. IEEE Transactions on Software Engineering\u00a020(2), 149\u2013161 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Proc. the 27th ACM Symposium on Theory of Computing, pp. 363\u2013372 (1995)","DOI":"10.1145\/225058.225161"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., Bochmann, G.v.: Testing deterministic implementations from their nondeterministic specifications. In: Proc. 9th International Workshop on Protocol Test Systems, pp. 125\u2013140 (1996)","DOI":"10.1007\/978-0-387-35062-2_10"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Boroday, S.Y.: Distinguishing Tests for Non-Deterministic Finite State Machines. In: Proc. IFIP TC6 11th International Workshop on Testing of Communicating Systems, pp. 101\u2013107 (1998)","DOI":"10.1007\/978-0-387-35381-4_7"},{"issue":"5","key":"21_CR8","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1093\/comjnl\/41.5.349","volume":"41","author":"R.M. Hierons","year":"1998","unstructured":"Hierons, R.M.: Adaptive testing of a deterministic implementation against a nondeterministic finite state machine. The Computer Journal\u00a041(5), 349\u2013355 (1998)","journal-title":"The Computer Journal"},{"key":"21_CR9","unstructured":"Koufareva, I., Evtushenko, N., Petrenko, A.: Design of tests for nondeterministic machines with respect to reduction. Automatic Control and Computer Sciences, USA, vol. 3 (1998)"},{"issue":"3","key":"21_CR10","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1093\/comjnl\/46.3.307","volume":"46","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M.: Using candidates to test a deterministic implementation against a non-deterministic finite state machine. The Computer Journal\u00a046(3), 307\u2013318 (2003)","journal-title":"The Computer Journal"},{"issue":"10","key":"21_CR11","doi-asserted-by":"publisher","first-page":"1330","DOI":"10.1109\/TC.2004.85","volume":"53","author":"R.M. Hierons","year":"2004","unstructured":"Hierons, R.M.: Testing from a non-deterministic finite state machine using adaptive state counting. IEEE Transactions on Computers\u00a053(10), 1330\u20131342 (2004)","journal-title":"IEEE Transactions on Computers"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-540-39979-7_19","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"R.M. Hierons","year":"2003","unstructured":"Hierons, R.M., Ural, H.: Concerning the ordering of adaptive test sequences. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, pp. 289\u2013302. Springer, Heidelberg (2003)"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"1213","DOI":"10.1016\/S0140-3664(00)00327-3","volume":"24","author":"I. Hwang","year":"2001","unstructured":"Hwang, I., Kim, T., Hong, S., Lee, J.: Test selection for a nondeterministic FSM. Computer Communications\u00a024, 1213\u20131223 (2001)","journal-title":"Computer Communications"},{"issue":"1","key":"21_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/TSE.2003.1166585","volume":"29","author":"F. Zhang","year":"2003","unstructured":"Zhang, F., Cheung, T.: Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines. IEEE Transactions on Software Engineering\u00a029(1), 1\u201314 (2003)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N.: Conformance tests as checking experiments for partial nondeterministic FSM. In: Proc. 5th International Workshop on Formal Approaches to Testing of Software (2005)","DOI":"10.1007\/11759744_9"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Miller, R., Chen, D., Lee, D., Hao, R.: Coping with nondeterminism in network protocol testing. In: Proceedings of the 17th IFIP International Conference on Testing of Communicating Systems, USA (2005)","DOI":"10.1007\/11430230_10"},{"key":"21_CR17","volume-title":"Computer Networks","author":"A.S. Tanenbaum","year":"1996","unstructured":"Tanenbaum, A.S.: Computer Networks. Prentice-Hall, NJ (1996)"},{"issue":"9","key":"21_CR18","doi-asserted-by":"publisher","first-page":"1154","DOI":"10.1109\/TC.2005.152","volume":"54","author":"A. Petrenko","year":"2005","unstructured":"Petrenko, A., Yevtushenko, N.: Testing from partial deterministic FSM specifications. IEEE Trans. on Computers\u00a054(9), 1154\u20131165 (2005)","journal-title":"IEEE Trans. on Computers"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"A Calculus of Communication Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communication Systems. LNCS, vol.\u00a092. Springer, Heidelberg (1980)"},{"key":"21_CR20","unstructured":"Spitsyna, N., Trenkaev, V., El-Fakih, K., Yevtushenko, N.: FSM interoperability testing, Wor. In: Progress: 23rd International Conference on Formal Techniques for Networked and Distributed Systems (2003)"},{"key":"21_CR21","unstructured":"Spitsyna, N.: FSM-based test suite derivation strategies for discrete event systems. Ph.D. Thesis, Tomsk State University, pp. 1\u2013158 (2005)"},{"key":"21_CR22","first-page":"3","volume-title":"Abstract automata","author":"P. Starke","year":"1972","unstructured":"Starke, P.: Abstract automata, pp. 3\u2013419. American Elsevier, New York (1972)"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Spitsyna, N., El-Fakih, K., Yevtushenko, N.: Studying the Separability Relation between Finite State Machines. Submitted to Software Testing, Verification and Reliability (2006)","DOI":"10.1002\/stvr.374"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73066-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T07:22:12Z","timestamp":1556781732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}