{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:12:22Z","timestamp":1748664742923,"version":"3.41.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319261478"},{"type":"electronic","value":"9783319261485"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-26148-5_10","type":"book-chapter","created":{"date-parts":[[2015,10,14]],"date-time":"2015-10-14T05:50:57Z","timestamp":1444801857000},"page":"166-184","source":"Crossref","is-referenced-by-count":4,"title":["A Genetic Algorithm for Automatic Business Process Test Case Selection"],"prefix":"10.1007","author":[{"given":"Kristof","family":"B\u00f6hmer","sequence":"first","affiliation":[]},{"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,28]]},"reference":[{"key":"10_CR1","first-page":"566","volume":"3","author":"A Askaruinisa","year":"2010","unstructured":"Askaruinisa, A., Abirami, A.: Test case reduction technique for semantic based web services. Computer Science & Engineering 3, 566\u2013576 (2010)","journal-title":"Computer Science & Engineering"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"2725","DOI":"10.1016\/j.jss.2013.05.105","volume":"11","author":"D Borrego","year":"2013","unstructured":"Borrego, D., G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: Minimizing test-point allocation to improve diagnosability in business process models. Systems and Software 11, 2725\u20132741 (2013)","journal-title":"Systems and Software"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Cardoso, J.: Process control-flow complexity metric: an empirical validation. In: Services Computing, pp. 167\u2013173. IEEE (2006)","DOI":"10.1109\/SCC.2006.82"},{"key":"10_CR4","unstructured":"Eiben, A., Smith, J.: Introduction to evolutionary computing. Natural Computing Series. Springer (2008)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Farooq, U., Lam, C.P.: Evolving the quality of a model based test suite. In: Software Testing, Verification and Validation, pp. 141\u2013149. IEEE (2009)","DOI":"10.1109\/ICSTW.2009.27"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Farooq, U., Lam, C.P.: A max-min multiobjective technique to optimize model based test suite. In: Software Engineering, Artificial Intelligences, Networking and Parallel\/Distributed Computing, pp. 569\u2013574. IEEE (2009)","DOI":"10.1109\/SNPD.2009.33"},{"key":"10_CR7","unstructured":"Gruhn, V., Laue, R.: Complexity metrics for business process models. In: Business Information Systems, pp. 1\u201312 (2006)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"14","author":"M Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search-based software engineering. Information and Software Technology 14, 833\u2013839 (2001)","journal-title":"Information and Software Technology"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-642-01247-1_7","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008 Workshops","author":"K Kaschner","year":"2009","unstructured":"Kaschner, K., Lohmann, N.: Automatic test case generation for interacting services. In: Feuerlicht, G., Lamersdorf, W. (eds.) ICSOC 2008. LNCS, vol. 5472, pp. 66\u201378. Springer, Heidelberg (2009)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-40176-3_18","volume-title":"Business Process Management","author":"S Kriglstein","year":"2013","unstructured":"Kriglstein, S., Wallner, G., Rinderle-Ma, S.: A visualization approach for difference analysis of process models and instance traffic. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 219\u2013226. Springer, Heidelberg (2013)"},{"key":"10_CR11","unstructured":"Leymann, F., Roller, D.: Production workflow concepts and techniques. Prentice Hall PTR (2000)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Li, B., Qiu, D., Ji, S., Wang, D.: Automatic test case selection and generation for regression testing of composite service based on extensible bpel flow graph. In: Software Maintenance, pp. 1\u201310 (2010)","DOI":"10.1109\/ICSM.2010.5609541"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Li, Z.J., Sun, W., Jiang, Z.B., Zhang, X.: BPEL4WS unit testing: framework and implementation. In: Web Services, pp. 103\u2013110. IEEE (2005)","DOI":"10.1109\/ICWS.2005.31"},{"key":"10_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89224-3","volume-title":"Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness","author":"J Mendling","year":"2008","unstructured":"Mendling, J.: Metrics for process models: empirical foundations of verification, error prediction, and guidelines for correctness. LNBIP, vol. 6. Springer, Heidelberg (2008)"},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/B:DAPD.0000026270.78463.77","volume":"16","author":"S Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distributed and Parallel Databases 16, 91\u2013116 (2004)","journal-title":"Distributed and Parallel Databases"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Ruth, M.E.: Concurrency in a decentralized automatic regression test selection framework for web services. In: Mardi Gras Conference, pp. 7:1\u20137:8. ACM (2008)","DOI":"10.1145\/1341811.1341820"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Stoyanova, V., Petrova-Antonova, D., Ilieva, S.: Automation of test case generation and execution for testing web service orchestrations. In: Service-Oriented Systems Engineering, pp. 274\u2013279. IEEE (2013)","DOI":"10.1109\/SOSE.2013.9"},{"key":"10_CR18","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: Asia-Pacific Software Engineering, pp. 316\u2013322. IEEE (2009)","DOI":"10.1109\/APSEC.2009.72"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2015 Conferences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-26148-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T01:09:35Z","timestamp":1748653775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-26148-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319261478","9783319261485"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-26148-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}