{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:57:18Z","timestamp":1746593838942},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_7","type":"book-chapter","created":{"date-parts":[[2006,4,26]],"date-time":"2006-04-26T17:22:40Z","timestamp":1146072160000},"page":"103-117","source":"Crossref","is-referenced-by-count":34,"title":["Generating Test Cases for Web Services Using Extended Finite State Machine"],"prefix":"10.1007","author":[{"given":"ChangSup","family":"Keum","sequence":"first","affiliation":[]},{"given":"Sungwon","family":"Kang","sequence":"additional","affiliation":[]},{"given":"In-Young","family":"Ko","sequence":"additional","affiliation":[]},{"given":"Jongmoon","family":"Baik","sequence":"additional","affiliation":[]},{"given":"Young-Il","family":"Choi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Web Services Essentials","author":"E. Cerami","year":"2002","unstructured":"Cerami, E.: Web Services Essentials. O\u2019Reilly, Sebastopol (2002)"},{"key":"7_CR2","unstructured":"Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services Architecture. W3C working group note, W3C (2004)"},{"issue":"6","key":"7_CR3","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1016\/S1389-1286(00)00203-6","volume":"35","author":"C. Bourhfir","year":"2001","unstructured":"Bourhfir, C., Aboulhamid, E., Khendek, F., Dssouli, R.: Test cases selection from SDL specifications. Computer Networks\u00a035(6), 693\u2013708 (2001)","journal-title":"Computer Networks"},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-31984-9_4","volume-title":"Fundamental Approaches to Software Engineering","author":"R. Heckel","year":"2005","unstructured":"Heckel, R., Mariani, L.: Automatic Conformance Testing of Web Services. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 34\u201348. Springer, Heidelberg (2005)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Baldan, P., Konig, B., Sturmer, I.: Generating test cases for code generators by unfolding graph transformation systems. In: Proc. 2nd Intl. Conference on Graph Transformation, Rome, Italy (2004)","DOI":"10.1007\/978-3-540-30203-2_15"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1109\/TSE.1980.234486","volume":"6","author":"L. White","year":"1980","unstructured":"White, L., Cohen, E.: A domain strategy for computer program testing. IEEE Transactions on Software Engineering\u00a06, 247\u2013257 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E. Weyuker","year":"1991","unstructured":"Weyuker, E., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering\u00a017, 703\u2013711 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR8","unstructured":"Rapps, S., Wejuker, E.: Data flow analysis techniques for program test data selection. In: 6th Intl. Conference on Software Engineering, pp. 272\u2013278 (1982)"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Offutt, J., Xu, W.: Generating Test Cases for Web Services Using Data Perturbation. In: ACM SIGSOFT SEN (2004)","DOI":"10.1145\/1022494.1022529"},{"key":"7_CR10","volume-title":"Software Testing Techniques","author":"B. Beizer","year":"1990","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, Inc., New York (1990)","edition":"2"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"940","DOI":"10.1007\/978-3-540-24679-4_156","volume-title":"Grid and Cooperative Computing","author":"Y. Li","year":"2004","unstructured":"Li, Y., Li, M., Yu, J.: Web Service Testing, the Methodology, and the Implementation of the Automation-Testing Tool. In: Li, M., Sun, X.-H., Deng, Q.-n., Ni, J. (eds.) GCC 2003. LNCS, vol.\u00a03032, pp. 940\u2013947. Springer, Heidelberg (2004)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Tsai, W.T., Paul, R., Wang, Y., Fan, C., Wang, D.: Extending WSDL to Facilitate Web Services Testing. In: HASE 2002 (2002)","DOI":"10.1109\/HASE.2002.1173119"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case gen-eration for EFSM specified protocols. In: IWTCS 1997, pp. 75\u201390 (1997)","DOI":"10.1007\/978-0-387-35198-8_6"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Sabnani, K., Dahbura, A.: A new Technique for Generating Protocol Tests. ACM Comput. Commun.\u00a015(4) (1985)","DOI":"10.1145\/318951.319003"},{"key":"7_CR15","unstructured":"Weyuker, E.J., Rapps, S.: Selecting Software Test Data using Data Flow Information. IEEE Transactions on Software Engineering (April 1985)"},{"key":"7_CR16","unstructured":"Parlay X Working Group, Parlay-X White Paper (2002), http:\/\/www.parlay.org"}],"container-title":["Lecture Notes in Computer Science","Testing of Communicating Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754008_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:04:06Z","timestamp":1619507046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754008_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341840","9783540341857"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11754008_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}