{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:43:43Z","timestamp":1725543823835},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_4","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"55-70","source":"Crossref","is-referenced-by-count":3,"title":["Bounded Sequence Testing from Non-deterministic Finite State Machines"],"prefix":"10.1007","author":[{"given":"Florentin","family":"Ipate","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(00)00292-9","volume":"267","author":"C. Campeanu","year":"1999","unstructured":"Campeanu, C., Santean, N., Yu, S.: Minimal cover automata for finite languages. Theoretical Computer Science\u00a0267, 3\u201316 (1999)","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"4_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T.S. Chow","year":"1978","unstructured":"Chow, T.S.: Testing software design modeled by finite state machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"4_CR3","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., von Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test Selection Based on Finite State Models. IEEE Transactions on Software Engineering\u00a017(6), 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"5","key":"4_CR4","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"},{"issue":"10","key":"4_CR5","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":"4_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3435-0","volume-title":"Correct Systems: Building a Business Process Solution","author":"M. Holcombe","year":"1998","unstructured":"Holcombe, M., Ipate, F.: Correct Systems: Building a Business Process Solution. Springer, Berlin (1998)"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1093\/comjnl\/bxh068","volume":"48","author":"F. Ipate","year":"2005","unstructured":"Ipate, F.: On the Minimality of Finite Automata and Stream X-machines for Finite Languages. The Computer Journal\u00a048(2), 157\u2013167 (2005)","journal-title":"The Computer Journal"},{"unstructured":"Ipate, F.: Bounded Sequence Test Selection from Finite State Machines (submitted)","key":"4_CR8"},{"issue":"8","key":"4_CR9","doi-asserted-by":"publisher","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. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"4_CR10","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/32.265636","volume":"20","author":"G.L. Luo","year":"1994","unstructured":"Luo, G.L., Bochmann, G.v., Petrenko, A.: Test selection based on communicating nondeterministic 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":"4_CR11","first-page":"363","volume-title":"Proc. of Protocol Test Systems, VI (C-19)","author":"A. Petrenko","year":"1994","unstructured":"Petrenko, A., Yevtushenko, N., Lebedev, A., Das, A.: Nondeterministic state machines in protocol conformance testing. In: Proc. of Protocol Test Systems, VI (C-19), Pau, France, September 28-30, pp. 363\u2013378. Elsevier Science, Amsterdam (1994)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-0-387-35062-2_10","volume-title":"Proc. of 9th International Workshop on Testing of Communicating Systems (IWTCS 1996)","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., Bochmann, G.v.: Testing deterministic implementations from nondeterministic FSM specifications. In: Proc. of 9th International Workshop on Testing of Communicating Systems (IWTCS 1996), Darmstadt, Germany, September 9-11, pp. 125\u2013140. Chapman and Hall, Boca Raton (1996)"},{"issue":"4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1109\/32.16602","volume":"15","author":"D. Sidhu","year":"1989","unstructured":"Sidhu, D., Leung, T.: Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering\u00a015(4), 413\u2013426 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"4_CR14","first-page":"81","volume":"6","author":"N.V. Yevtushenko","year":"1991","unstructured":"Yevtushenko, N.V., Lebedev, A.V., Petrenko, A.F.: On checking experiments with nondeterministic automata. Automatic Control and Computer Sciences\u00a06, 81\u201385 (1991)","journal-title":"Automatic Control and Computer Sciences"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:05Z","timestamp":1619507045000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/11754008_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}