{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T04:34:12Z","timestamp":1747888452935,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662466742"},{"type":"electronic","value":"9783662466759"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-46675-9_5","type":"book-chapter","created":{"date-parts":[[2015,3,31]],"date-time":"2015-03-31T20:24:38Z","timestamp":1427833478000},"page":"69-83","source":"Crossref","is-referenced-by-count":2,"title":["BPEL Integration Testing"],"prefix":"10.1007","author":[{"given":"Seema","family":"Jehan","sequence":"first","affiliation":[]},{"given":"Ingo","family":"Pill","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Active VOS engine, http:\/\/www.activevos.com"},{"key":"5_CR2","unstructured":"Apache ODE, http:\/\/ode.apache.org\/"},{"key":"5_CR3","unstructured":"JBoss example, http:\/\/docs.jboss.com\/jbpm\/bpel\/v1.1\/userguide\/tutorial.atm.html"},{"key":"5_CR4","unstructured":"MuBPEL- a mutation testing tool for WS-BPEL, https:\/\/neptuno.uca.es\/redmine\/projects\/sources-fm\/wiki\/MuBPEL"},{"key":"5_CR5","unstructured":"Oracle BPEL Process Manager, http:\/\/www.oracle.com\/technetwork\/middleware\/bpel"},{"key":"5_CR6","volume-title":"Visual Test 6 Bible","author":"T.R. Arnold","year":"1998","unstructured":"Arnold, T.R.: Visual Test 6 Bible. IDG Books Worldwide, Inc., Foster City (1998)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Bentakouk, L., Poizat, P., Za\u00efdi, F.: A formal framework for service orchestration testing based on symbolic transition systems. In: Proc. of the 21st IFIP WG 6.1 Int. Conf. on Testing of Software and Communication Systems and 9th Int. FATES Workshop, pp. 16\u201332 (2009)","DOI":"10.1007\/978-3-642-05031-2_2"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Bozkurt, M., Harman, M.: Automatically generating realistic test input from web services. In: International Symposium on Service-Oriented System Engineering (SOSE), pp. 13\u201324 (December 2011)","DOI":"10.1109\/SOSE.2011.6139088"},{"key":"5_CR9","unstructured":"Bozkurt, M., Harman, M., Hassoun, Y.: Testing Web Services: A Survey. Tech. Rep. TR-10-01, Dep. of Computer Science, King\u2019s College London (January 2010)"},{"issue":"6","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1684","DOI":"10.1145\/197320.197331","volume":"16","author":"M.M. Brandis","year":"1994","unstructured":"Brandis, M.M., M\u00f6ssenb\u00f6ck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS\u00a016(6), 1684\u20131698 (1994)","journal-title":"ACM TOPLAS"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dong, W.: Test case generation method for BPEL-Based Testing. In: Int. Conf. on Computational Intelligence and Natural Computing, vol.\u00a02, pp. 467\u2013470 (June 2009)","DOI":"10.1109\/CINC.2009.229"},{"key":"5_CR12","unstructured":"Faigon, A.: Testing for zero bugs, http:\/\/www.yendor.com\/testing\/"},{"key":"5_CR13","unstructured":"Garcia-fanjul, J., Tuya, J., Riva, C.D.L.: Generating Test Cases Specifications for BPEL Compositions of Web Services Using SPIN (2006), http:\/\/citeseerx.ist.psu.edu\/viewdoc\/summary?doi=10.1.1.60.9287"},{"key":"5_CR14","unstructured":"Gent, I.P., Jefferson, C., Miguel, I.: Minion: A fast scalable constraint solver. In: Proceedings of ECAI 2006, Riva del Garda, pp. 98\u2013102. IOS Press (2006)"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. In: ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 53\u201362 (1998)","DOI":"10.1145\/271775.271790"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Gr\u00fcn, B.J.M., Schuler, D., Zeller, A.: The impact of equivalent mutants. In: Proceedings of the IEEE Int. Conf. on Software Testing, Verification, and Validation Workshops, ICSTW 2009, pp. 192\u2013199 (2009)","DOI":"10.1109\/ICSTW.2009.37"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Jehan, S., Pill, I., Wotawa, F.: SOA testing via random paths in BPEL models. In: 10th Workshop on Advances in Model Based Testing; 2014 IEEE Seventh Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 260\u2013263 (2014)","DOI":"10.1109\/ICSTW.2014.28"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Jehan, S., Pill, I., Wotawa, F.: Functional SOA testing based on constraints. In: 8th Int. Workshop on Automation of Software Test (AST), pp. 33\u201339 (2013)","DOI":"10.1109\/IWAST.2013.6595788"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Jehan, S., Pill, I., Wotawa, F.: SOA grey box testing - a constraint-based approach. In: 5th Int. Workshop on Constraints in Software Testing, Verification and Analysis; 2013 IEEE Sixth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 232\u2013237 (2013)","DOI":"10.1109\/ICSTW.2013.35"},{"issue":"7","key":"5_CR20","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM\u00a019(7), 385\u2013394 (1976), http:\/\/doi.acm.org\/10.1145\/360248.360252","journal-title":"Commun. ACM"},{"issue":"12","key":"5_CR21","doi-asserted-by":"publisher","first-page":"2416","DOI":"10.1016\/j.jss.2010.07.027","volume":"83","author":"W.B. Langdon","year":"2010","unstructured":"Langdon, W.B., Harman, M., Jia, Y.: Efficient Multi-objective Higher Order Mutation Testing with Genetic Programming. J. Syst. Softw.\u00a083(12), 2416\u20132430 (2010)","journal-title":"J. Syst. Softw."},{"key":"5_CR22","unstructured":"L\u00fcbke, D.: Bpel Unit (2006), http:\/\/bpelunit.github.com"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Mayer, P., L\u00fcbke, D.: Towards a BPEL unit testing framework. In: Workshop on Testing, Analysis, and Verification of Web Services and Applications, pp. 33\u201342 (2006)","DOI":"10.1145\/1145718.1145723"},{"key":"5_CR24","unstructured":"Mayer, W., Friedrich, G., Stumptner, M.: On computing correct processes and repairs using partial behavioral models. In: European Conf. on Artificial Intelligence (ECAI), pp. 582\u2013587 (2012)"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"McMinn, P., Shahbaz, M., Stevenson, M.: Search-based test input generation for string data types using the results of web queries. In: 5th Int. Conf. on Software Testing, Verification and Validation (ICST), pp. 141\u2013150 (April 2012)","DOI":"10.1109\/ICST.2012.94"},{"key":"5_CR26","unstructured":"Nyman, N.: Using monkey test tools. Software Testing & Quality Enineering Magazine (January\/February 2000)"},{"issue":"2-3","key":"5_CR27","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.scico.2007.03.002","volume":"67","author":"C. Ouyang","year":"2007","unstructured":"Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program.\u00a067(2-3), 162\u2013198 (2007)","journal-title":"Sci. Comput. Program."},{"issue":"2","key":"5_CR28","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1142\/S0218843008001816","volume":"17","author":"M.P. Papazoglou","year":"2008","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: a research roadmap. Int. J. of Cooperative Information Systems\u00a017(2), 223\u2013255 (2008)","journal-title":"Int. J. of Cooperative Information Systems"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1007\/978-3-540-89652-4_45","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"A. Paradkar","year":"2008","unstructured":"Paradkar, A., Sinha, A.: Specify once test everywhere: Analyzing invariants to augment service descriptions for automated test generation. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 551\u2013557. Springer, Heidelberg (2008)"},{"key":"5_CR30","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (FOCS), pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Schulz, M., Pill, I., Jehan, S., Leitner, P., Hummer, W., Schulte, S., Hoenisch, P., Dustdar, S.: Fifty shades of grey in SOA testing. In: 9th Workshop on Advances in Model Based Testing; 2013 IEEE Sixth Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 154\u2013157 (2013)","DOI":"10.1109\/ICSTW.2013.26"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"J., Li, Z., Yuan, Y., Sun, W., Yan, J.Z.: BPEL4WS Unit Testing: Test case generation using a concurrent path analysis approach. In: 17th Int. Symp. on Software Reliability Engineering (ISSRE), pp. 75\u201384. IEEE Computer Society (2006)","DOI":"10.1109\/ISSRE.2006.16"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: 1st Int. Workshop on Interoperability of Heterogeneous Information Systems, IHIS 2005, pp. 47\u201354. ACM (2005)","DOI":"10.1145\/1096967.1096977"},{"key":"5_CR34","doi-asserted-by":"crossref","unstructured":"Li, Z., Yuan, W.S.Y.: A graph-search based approach to BPEL4WS test generation. In: Int. Conf. on Software Engineering Advances, p. 14 (October 2006)","DOI":"10.1109\/ICSEA.2006.261270"},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Zakaria, Z., Atan, R., Ghani, A.A.A., Sani, N.F.M.: Unit testing approaches for BPEL: A systematic review. In: 16th Asia-Pacific Software Engineering Conference, pp. 316\u2013322. IEEE Computer Society (2009)","DOI":"10.1109\/APSEC.2009.72"},{"key":"5_CR36","doi-asserted-by":"crossref","unstructured":"Zheng, Y., Zhou, J., Krause, P.: A model checking based test case generation framework for web services pp. 715\u2013722 (April 2007)","DOI":"10.1109\/ITNG.2007.8"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-46675-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T19:47:56Z","timestamp":1747856876000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-46675-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662466742","9783662466759"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-46675-9_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}