{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:20:18Z","timestamp":1725560418796},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212195"},{"type":"electronic","value":"9783540247043"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24704-3_5","type":"book-chapter","created":{"date-parts":[[2010,7,28]],"date-time":"2010-07-28T00:13:44Z","timestamp":1280276024000},"page":"60-75","source":"Crossref","is-referenced-by-count":10,"title":["FSM Based Interoperability Testing Methods for Multi Stimuli Model"],"prefix":"10.1007","author":[{"given":"Khaled","family":"El-Fakih","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Trenkaev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natalia","family":"Spitsyna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nina","family":"Yevtushenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1145\/322374.322380","volume":"30","author":"D. Brand","year":"1983","unstructured":"Brand, D., Zafiropulo, P.: On communicating finite state machines. J. ACM\u00a030(2), 323\u2013342 (1983)","journal-title":"J. ACM"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1109\/TCOM.1980.1094685","volume":"28","author":"G. Bochmann van","year":"1980","unstructured":"van Bochmann, G., Sunshine, C.A.: Formal methods in communication protocol design. IEEE Trans. on Comm.\u00a028, 624\u2013631 (1980)","journal-title":"IEEE Trans. on Comm."},{"issue":"3","key":"5_CR3","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.: Test Design Modeled by Finite-State Machines. IEEE Trans. SE\u00a04(3), 178\u2013187 (1978)","journal-title":"IEEE Trans. SE"},{"key":"5_CR4","unstructured":"El-Fakih, K.: Protocol retesting and diagnostic testing methods, Ph.D. Thesis, University of Ottawa (2002)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"El-Fakih, K., Yevtushenko, N., Bochmann, G.: Protocol re-testing methods. In: Proc. of the IFIP 14th International Conference on Testing of Communicating Systems, Berlin, Germany, pp. 19\u201322 (2002)","DOI":"10.1007\/978-0-387-35497-2_26"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-44830-6_15","volume-title":"Testing of Communicating Systems","author":"K. El-Fakih","year":"2003","unstructured":"El-Fakih, K., Prokopenko, S., Yevtushenko, N., Bochmann, G.: Fault diagnosis in extended finite state machines. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 197\u2013210. Springer, Heidelberg (2003)"},{"issue":"6","key":"5_CR7","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/32.87284","volume":"17","author":"S. Fujiwara","year":"1991","unstructured":"Fujiwara, S., van Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test Selection Based on Finite State Models. IEEE Trans. SE\u00a017(6), 591\u2013603 (1991)","journal-title":"IEEE Trans. SE"},{"key":"5_CR8","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/S1389-1286(00)00005-0","volume":"32","author":"S. Kang","year":"2000","unstructured":"Kang, S., Shin, J., Kim, M.: Interoperability Test Suite Derivation for Communication Protocols. Computer Networks\u00a032, 347\u2013364 (2000)","journal-title":"Computer Networks"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Koufareva, I., Petrenko, A., Yevtushenko, N.: Test generation driven by user-defined fault models. In: Proceedings of IFIP TC6 12th International Workkshop on Testing of Communicating Systems, Hungary, pp. 215\u2013233 (1999)","DOI":"10.1007\/978-0-387-35567-2_14"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Petrenko, A., Yevtushenko, N., van Bochmann, G.: Fault models for testing in context. In: FORTE 1996 (1996)","DOI":"10.1007\/978-0-387-35079-0_10"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1016\/S0140-3664(96)01157-7","volume":"19","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Yevtushenko, N., van Bochmann, G., Dssouli, R.: Testing in context: framework and test derivation. Computer communications\u00a019, 1236\u20131249 (1996)","journal-title":"Computer communications"},{"key":"5_CR12","unstructured":"Petrenko, A., Yevtushenko, N., Lebedev, A., Das, A.: Nondeterministic State Machines in Protocol Conformance Testing. In: Proc. of the IFIP 6th IWPTS, France, pp. 363\u2013378 (1993)"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Seol, S., Kim, M., Chanson, S.T.: Interoperability Test Generation for Communication Protocols based on Multiple Stimuli Principle. In: Proceedings of the IFIP 14th Inter. Conf. TestCom 2002, Berlin, pp. 151\u2013169 (2002)","DOI":"10.1007\/978-0-387-35497-2_11"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2003","author":"N. Spitsyna","year":"2003","unstructured":"Spitsyna, N., Trenkaev, V., El-Fakih, K., Yevtushenko, N.: FSM based interoperability testing-work in progress. In: K\u00f6nig, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol.\u00a02767, Springer, Heidelberg (2003)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-44830-6_17","volume-title":"Testing of Communicating Systems","author":"V. Trenkaev","year":"2003","unstructured":"Trenkaev, V., Kim, M., Seol, S.: Interoperability Testing Based on a Fault Model for a System of Communicating FSMs. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol.\u00a02644, pp. 226\u2013241. Springer, Heidelberg (2003)"},{"key":"5_CR16","unstructured":"Viho, C., Barbin, S., Tanguy, L.: Towards a formal framework for interoperability testing. In: Proceedings of the 21st Inter. Conf. FORTE 2001, Korea, pp. 51\u201368 (2001)"},{"key":"5_CR17","doi-asserted-by":"publisher","first-page":"1271","DOI":"10.1109\/TCOM.1978.1094201","volume":"26","author":"C.H. West","year":"1978","unstructured":"West, C.H.: An automated technique of communication protocols validation. IEEE Trans. Comm.\u00a026, 1271\u20131275 (1978)","journal-title":"IEEE Trans. Comm."}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24704-3_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T12:18:16Z","timestamp":1552825096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24704-3_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212195","9783540247043"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24704-3_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}