{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:21:57Z","timestamp":1761708117297},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730651"},{"type":"electronic","value":"9783540730668"}],"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_17","type":"book-chapter","created":{"date-parts":[[2007,8,18]],"date-time":"2007-08-18T08:07:13Z","timestamp":1187424433000},"page":"244-259","source":"Crossref","is-referenced-by-count":7,"title":["A Bounded Incremental Test Generation Algorithm for Finite State Machines"],"prefix":"10.1007","author":[{"given":"Zolt\u00e1n","family":"Pap","sequence":"first","affiliation":[]},{"given":"Mahadevan","family":"Subramaniam","sequence":"additional","affiliation":[]},{"given":"G\u00e1bor","family":"Kov\u00e1cs","sequence":"additional","affiliation":[]},{"given":"G\u00e1bor \u00c1rp\u00e1d","family":"N\u00e9meth","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/0304-3975(95)00079-8","volume":"158","author":"G. Ramalingam","year":"1996","unstructured":"Ramalingam, G., Reps, T.: On the computational complexity of dynamic graph problems. Theoretical Computer Science\u00a0158(1-2), 233\u2013277 (1996)","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"17_CR2","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0169-7552(88)90064-5","volume":"15","author":"K. Sabnani","year":"1988","unstructured":"Sabnani, K., Dahbura, A.: A protocol test generation procedure. Computer Networks and ISDN Systems\u00a015(4), 285\u2013297 (1988)","journal-title":"Computer Networks and ISDN Systems"},{"doi-asserted-by":"crossref","unstructured":"Yannakakis, M., Lee, D.: Testing finite state machines: fault detection. In: Selected papers of the 23rd annual ACM symposium on Theory of computing, pp. 209\u2013227 (1995)","key":"17_CR3","DOI":"10.1006\/jcss.1995.1019"},{"unstructured":"Petrenko, A., Yevtushenko, N., Lebedev, A., Das, A.: Nondeterministic state machines in protocol conformance testing. In: Proceedings of the IFIP TC6\/WG6.1 Sixth International Workshop on Protocol Test systems, vol. VI, pp. 363\u2013378 (1994)","key":"17_CR4"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/11754008_13","volume-title":"Testing of Communicating Systems","author":"M. Subramaniam","year":"2006","unstructured":"Subramaniam, M., Pap, Z.: Analyzing the impact of protocol changes on tests. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 197\u2013212. Springer, Heidelberg (2006)"},{"key":"17_CR6","volume-title":"Fault Detection in Digital Circuits","author":"A.D. Friedman","year":"1971","unstructured":"Friedman, A.D., Menon, P.R.: Fault Detection in Digital Circuits. Prentice-Hall, Englewood Cliffs (1971)"},{"key":"17_CR7","volume-title":"Compilers: Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers: Principles, Techniques, and Tools. Addison-Wesley, London (1986)"},{"key":"17_CR8","volume-title":"Design and Validation of Protocols","author":"G.J. Holzmann","year":"1990","unstructured":"Holzmann, G.J.: Design and Validation of Protocols. Prentice-Hall, Englewood Cliffs (1990)"},{"unstructured":"ITU-T: Recommendation Z.100: Specification and description language (2000)","key":"17_CR9"},{"unstructured":"TC97\/SC21, I.: Estelle \u2013 a formal description technique based on an extended state transition model. international standard 9074 (1988)","key":"17_CR10"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/978-3-540-30482-1_30","volume-title":"Formal Methods and Software Engineering","author":"M. Subramaniam","year":"2004","unstructured":"Subramaniam, M., Chundi, P.: An approach to preserve protocol consistency and executability across updates. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol.\u00a03308, pp. 341\u2013356. Springer, Heidelberg (2004)"},{"doi-asserted-by":"crossref","unstructured":"Pap, Z., Csopaki, G., Dibuz, S.: On the theory of patching. In: Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM, pp. 263\u2013271 (2005)","key":"17_CR12","DOI":"10.1109\/SEFM.2005.31"},{"issue":"8","key":"17_CR13","doi-asserted-by":"publisher","first-page":"1090","DOI":"10.1109\/5.533956","volume":"84","author":"D. Lee","year":"1996","unstructured":"Lee, D., Yiannakakis, M.: Principles and methods of testing finite state machines \u2013 a survey. Proceedings of the IEEE\u00a084(8), 1090\u20131123 (1996)","journal-title":"Proceedings of the IEEE"},{"key":"17_CR14","first-page":"109","volume-title":"ISSTA 1994","author":"G.V. Bochmann","year":"1994","unstructured":"Bochmann, G.V., Petrenko, A.: Protocol testing: review of methods and relevance for software testing. In: ISSTA 1994. Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis, pp. 109\u2013124. ACM Press, New York, USA (1994)"},{"issue":"3","key":"17_CR15","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"T. Chow","year":"1978","unstructured":"Chow, T.: Testing software design modelled by finite-state machines. IEEE Transactions on Software Engineering\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"17_CR16","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., Bochmann, G.v., Khendec, F., Amalou, M., Ghedamsi, A.: Test selection based on finite state model. IEEE Transactions on Software Engenieering\u00a017, 591\u2013603 (1991)","journal-title":"IEEE Transactions on Software Engenieering"},{"key":"17_CR17","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)"},{"issue":"7","key":"17_CR18","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1109\/TSE.2004.31","volume":"30","author":"K. El-Fakih","year":"2004","unstructured":"El-Fakih, K., Yevtushenko, N., von Bochmann, G.: FSM-based incremental conformance testing methods. IEEE Transactions on Software Engineering\u00a030(7), 425\u2013436 (2004)","journal-title":"IEEE Transactions on Software Engineering"}],"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_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T04:33:38Z","timestamp":1550810018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73066-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730651","9783540730668"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73066-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}