{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T23:40:10Z","timestamp":1745365210186,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642357541"},{"type":"electronic","value":"9783642357558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35755-8_13","type":"book-chapter","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T11:36:02Z","timestamp":1354188962000},"page":"168-181","source":"Crossref","is-referenced-by-count":3,"title":["Application of Metamorphic Testing to a Case Study in Web Services Compositions"],"prefix":"10.1007","author":[{"given":"Carmen","family":"Castro-Cabrera","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inmaculada","family":"Medina-Bulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"ActiveVOS: ActiveBPEL WS-BPEL Engine (October 2009), http:\/\/sourceforge.net\/search\/?q=ActiveBPEL"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), pp. 402\u2013411. ACM Press (2005)","DOI":"10.1145\/1062455.1062530"},{"key":"13_CR3","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. International Thomson Computer Press, 2 sub edn. (June 1990)"},{"key":"13_CR4","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: TR-10-01: testing web services: A survey. Tech. Rep. TR-10-01, King\u2019s College, London (2010)"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"61","DOI":"10.4018\/jwsr.2007040103","volume":"4","author":"W.K. Chan","year":"2007","unstructured":"Chan, W.K., Cheung, S.C., Leung, K.R.: A metamorphic testing approach for online testing of service-oriented software applications. International Journal of Web Services Research\u00a04(2), 61\u201381 (2007)","journal-title":"International Journal of Web Services Research"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Chan, W.K., Cheung, S., Leung, K.: Towards a metamorphic testing methodology for service-oriented software applications. In: Fifth International Conference on Quality Software (QSIC 2005), pp. 470\u2013476 (2006)","DOI":"10.1109\/QSIC.2005.67"},{"key":"13_CR7","unstructured":"Chen, T.Y.: Metamorphic testing: A new approach for generating next test cases. Technical Report HKUST-CS98-01, Department of. Computer Science, Hong Kong University of Science and Technology (1998)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Chen, T.Y.: Metamorphic testing: A simple approach to alleviate the oracle problem. In: Proceedings of the 5th IEEE International Symposium on Service Oriented System Engineering. IEEE Computer Society (2010)","DOI":"10.1109\/SOSE.2010.31"},{"key":"13_CR9","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1109\/CMPSAC.2002.1045022","volume-title":"Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, COMPSAC 2002","author":"T.Y. Chen","year":"2002","unstructured":"Chen, T.Y., Feng, J., Tse, T.H.: Metamorphic testing of programs on partial differential equations: A case study. In: Proceedings of the 26th International Computer Software and Applications Conference on Prolonging Software Life: Development and Redevelopment, COMPSAC 2002, pp. 327\u2013333. IEEE Computer Society, Washington, DC (2002), http:\/\/portal.acm.org\/citation.cfm?id=645984.675903"},{"key":"13_CR10","unstructured":"Chen, T.Y., Huang, D.H., Tse, T.H., Zhou, Z.Q.: Case studies on the selection of useful relations in metamorphic testing. In: Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC 2004), pp. 569\u2013583 (2004)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1109\/ECOWS.2009.18","volume-title":"ECOWS 2009: Seventh IEEE European Conference on Web Services","author":"J.J. Dom\u00ednguez-Jim\u00e9nez","year":"2009","unstructured":"Dom\u00ednguez-Jim\u00e9nez, J.J., Estero-Botaro, A., Garc\u00eda-Dom\u00ednguez, A., Medina-Bulo, I.: GAmera: An automatic mutant generation system for WS-BPEL compositions. In: ECOWS 2009: Seventh IEEE European Conference on Web Services, pp. 97\u2013106. IEEE Computer Society, Eindhoven (2009)"},{"key":"13_CR12","unstructured":"Garc\u00eda-Fanjul, J., Tuya, J., de la Riva, C.: Generaci\u00f3n sistem\u00e1tica de pruebas para composiciones de servicios utilizando criterios de suficiencia basados en transiciones. In: JISBD 2007: Actas de las XII Jornadas de Ingenier\u00eda del Software y Bases de Datos (2007)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Botella, B.: Automated metamorphic testing. In: Annual International on Computer Software and Applications Conference, pp. 34\u201340 (2003)","DOI":"10.1109\/CMPSAC.2003.1245319"},{"key":"13_CR14","unstructured":"IDC: Research reports (2008), http:\/\/www.idc.com"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1145718.1145723","volume-title":"TAV-WEB 2006: Proceedings of the 2006 workshop on Testing, Analysis, and Verification of Web Services and Applications","author":"P. Mayer","year":"2006","unstructured":"Mayer, P., L\u00fcbke, D.: Towards a BPEL unit testing framework. In: TAV-WEB 2006: Proceedings of the 2006 workshop on Testing, Analysis, and Verification of Web Services and Applications, pp. 33\u201342. ACM, New York (2006)"},{"key":"13_CR16","unstructured":"Murphy, C., Kaiser, G., Hu, L., Wu, L.: Properties of machine learning applications for use in metamorphic testing. In: Proc. of the 20th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 867\u2013872 (2008)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Murphy, C., Shen, K., Kaiser, G.: Using JML runtime assertion checking to automate metamorphic testing in applications without test oracles. In: International Conference on Software Testing Verification and Validation, ICST 2009, pp. 436\u2013445 (2009)","DOI":"10.1109\/ICST.2009.19"},{"key":"13_CR18","unstructured":"Myers, G.J., Sandler, C., Badgett, T., Thomas, T.M.: The Art of Software Testing, 2nd edn. Wiley - Interscience (2004)"},{"key":"13_CR19","unstructured":"OASIS: Web Services Business Process Execution Language 2.0 (2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html , Organization for the Advancement of Structured Information Standards"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"Segura, S., Hierons, R.M., Benavides, D., Ruiz-Cortes, A.: Automated test data generation on the analyses of feature models: A metamorphic testing approach. In: 2008 International Conference on Software Testing, Verification, and Validation, pp. 35\u201344 (2010)","DOI":"10.1109\/ICST.2010.20"},{"key":"13_CR21","unstructured":"UCASE Research Group: GAmera home site (2010), http:\/\/neptuno.uca.es\/~gamera"},{"key":"13_CR22","unstructured":"UCASE Research Group: Takuan home site (May 2010), https:\/\/neptuno.uca.es\/redmine\/projects\/takuan-website"},{"issue":"4","key":"13_CR23","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","volume":"25","author":"E. Weyuker","year":"1982","unstructured":"Weyuker, E.: On testing Non-Testable programs. The Computer Journal\u00a025(4), 465\u2013470 (1982), http:\/\/dx.doi.org\/10.1093\/comjnl\/25.4.465","journal-title":"The Computer Journal"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/ISSRE.2006.16","volume-title":"ISSRE 2006: 17th International Symposium on Software Reliability Engineering","author":"J. Yan","year":"2006","unstructured":"Yan, J., Li, Z., Yuan, Y., Sun, W., Zhang, J.: BPEL4WS unit testing: Test case generation using a concurrent path analysis approach. In: ISSRE 2006: 17th International Symposium on Software Reliability Engineering, pp. 75\u201384. IEEE Computer Society, Raleigh (2006)"},{"issue":"10","key":"13_CR25","doi-asserted-by":"publisher","first-page":"2637","DOI":"10.3724\/SP.J.1001.2009.00578","volume":"20","author":"Z.Y. Zhang","year":"2009","unstructured":"Zhang, Z.Y., Chan, W.K., Tse, T.H., Hu, P.F.: An experimental study to compare the use of metamorphic testing and assertion checking. Journal of Software\u00a020(10), 2637\u20132654 (2009)","journal-title":"Journal of Software"},{"issue":"3","key":"13_CR26","doi-asserted-by":"publisher","first-page":"64","DOI":"10.4304\/jsw.2.3.64-77","volume":"2","author":"Y. Zheng","year":"2007","unstructured":"Zheng, Y., Zhou, J., Krause, P.: An automatic test case generation framework for web services. Journal of Software\u00a02(3), 64\u201377 (2007)","journal-title":"Journal of Software"},{"key":"13_CR27","unstructured":"Zhou, Z.Q., Huang, D.H., Tse, T.H., Yang, Z., Huang, H., Chen, T.Y.: Metamorphic testing and its applications. In: Proceedings of the 8th International Symposium on Future Software Technology (ISFST 2004), Software Engineers Association (2004)"}],"container-title":["Communications in Computer and Information Science","E-Business and Telecommunications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35755-8_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,22]],"date-time":"2025-04-22T23:09:13Z","timestamp":1745363353000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35755-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642357541","9783642357558"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35755-8_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}