{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T16:24:30Z","timestamp":1756311870636,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642387081"},{"type":"electronic","value":"9783642387098"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-44857-1_1","type":"book-chapter","created":{"date-parts":[[2014,10,17]],"date-time":"2014-10-17T18:48:42Z","timestamp":1413571722000},"page":"1-16","source":"Crossref","is-referenced-by-count":6,"title":["A Framework for Genetic Test-Case Generation for WS-BPEL Compositions"],"prefix":"10.1007","author":[{"given":"Antonia","family":"Estero-Botaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Garc\u00eda-Dom\u00ednguez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan Jos\u00e9","family":"Dom\u00ednguez-Jim\u00e9nez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco","family":"Palomo-Lozano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inmaculada","family":"Medina-Bulo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Alshahwan, N., Harman, M.: Automated web application testing using search based software engineering. In: 26th IEEE\/ACM International Conference on Automated Software Engineering, pp. 3\u201312 (2011)","DOI":"10.1109\/ASE.2011.6100082"},{"issue":"3","key":"1_CR2","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1002\/stvr.354","volume":"16","author":"M. Alshraideh","year":"2006","unstructured":"Alshraideh, M., Bottaci, L.: Search-based software test data generation for string data using program-specific search operators. Softw. Test. Verif. Reliab.\u00a016(3), 175\u2013203 (2006)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Ayari, K., Bouktif, S., Antoniol, G.: Automatic mutation test input data generation via ant colony. In: 9th Conference on Genetic and Evolutionary Computation, pp. 1074\u20131081. ACM (2007)","DOI":"10.1145\/1276958.1277172"},{"issue":"2","key":"1_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1002\/stvr.313","volume":"15","author":"B. Baudry","year":"2005","unstructured":"Baudry, B., Fleurey, F., J\u00e9z\u00e9quel, J.M., Le Traon, Y.: From genetic to bacteriological algorithms for mutation-based testing. Soft. Test. Verif. Reliab.\u00a015(2), 73\u201396 (2005)","journal-title":"Soft. Test. Verif. Reliab."},{"key":"1_CR5","unstructured":"Bottaci, L.: A genetic algorithm fitness function for mutation testing. In: 23rd International Conference on Software Engineering using Metaheuristic Inovative Algorithms, pp. 3\u20137 (2001)"},{"key":"1_CR6","unstructured":"Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I.: Mutation operators for WS-BPEL 2.0. In: ICSSEA 2008: 21th International Conference on Software & Systems Engineering and their Applications (2008)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Estero-Botaro, A., Palomo-Lozano, F., Medina-Bulo, I., Domn\u00edguez-Jim\u00e9nez, J.J., Garc\u00eda-Domnguez, A.: Quality metrics for mutation testing with applications to WS-BPEL compositions. Software Testing, Verification and Reliability (2014), http:\/\/dx.doi.org\/10.1002\/stvr.1528","DOI":"10.1002\/stvr.1528"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: The seed is strong: Seeding strategies in search-based software testing. In: IEEE Fifth International Conference on Software Testing, Verification and Validation, pp. 121\u2013130 (2012)","DOI":"10.1109\/ICST.2012.92"},{"key":"1_CR9","volume-title":"Genetic Algorithms in Search, Optimization and Machine Learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg, D.E.: Genetic Algorithms in Search, Optimization and Machine Learning. Addison-Wesley Longman Publishing Co., Inc., Boston (1989)"},{"issue":"2","key":"1_CR10","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1109\/TSE.2009.71","volume":"36","author":"M. Harman","year":"2010","unstructured":"Harman, M., McMinn, P.: A theoretical and empirical study of search-based testing: Local, global, and hybrid search. IEEE Trans. Soft. Eng.\u00a036(2), 226\u2013247 (2010)","journal-title":"IEEE Trans. Soft. Eng."},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Holland, J.: Adaptation in Natural and Artificial Systems, 2nd edn. MIT Press (1992)","DOI":"10.7551\/mitpress\/1090.001.0001"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Krishnakumar, K.: Microgenetic algorithms for stationary and nonstationary function optimization. In: Society of Photo-Optical Instrumentation Engineers Conference Series, vol.\u00a01196, pp. 289\u2013296 (1990)","DOI":"10.1117\/12.969927"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.asoc.2004.08.004","volume":"5","author":"T. Mantere","year":"2005","unstructured":"Mantere, T., Alander, J.T.: Evolutionary software engineering, a review. Applied Soft Computing\u00a05(3), 315\u2013331 (2005)","journal-title":"Applied Soft Computing"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-73922-7_29","volume-title":"Artificial Immune Systems","author":"P. May","year":"2007","unstructured":"May, P., Timmis, J., Mander, K.: Immune and evolutionary approaches to software mutation testing. In: de Castro, L.N., Von Zuben, F.J., Knidel, H. (eds.) ICARIS 2007. LNCS, vol.\u00a04628, pp. 336\u2013347. Springer, Heidelberg (2007)"},{"issue":"2","key":"1_CR15","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P. McMinn","year":"2004","unstructured":"McMinn, P.: Search-based software test data generation: A survey. Soft. Test. Verif. Reliab.\u00a014(2), 105\u2013156 (2004)","journal-title":"Soft. Test. Verif. Reliab."},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Mitchell, M.: An introduction to genetic algorithms. Massachusetts Institute of Technology (1996)","DOI":"10.7551\/mitpress\/3927.001.0001"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"M\u00fchlenbein, H.: Evolution in time and space - the parallel genetic algorithm. In: Foundations of Genetic Algorithms, pp. 316\u2013337. Morgan Kaufmann (1991)","DOI":"10.1016\/B978-0-08-050684-5.50023-9"},{"key":"1_CR18","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"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Offutt, A.J., Untch, R.H.: Mutation 2000: Uniting the Orthogonal. In: Mutation Testing for the New Century, pp. 34\u201344. Kluwer Academic Publishers (2001)","DOI":"10.1007\/978-1-4757-5939-6_7"},{"key":"1_CR20","unstructured":"Offutt, J.: Automatic test data generation. Ph.D. thesis, Georgia Institute of Technology, Atlanta, GA, USA (1988)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Syswerda, G.: A study of reproduction in generational and steady-state genetic algorithms. In: Foundations of Genetic Algorithms, pp. 94\u2013101. Morgan Kaufmann Publishers (1991)","DOI":"10.1016\/B978-0-08-050684-5.50009-4"},{"key":"1_CR22","unstructured":"Xanthakis, S., Ellis, C., Skourlas, C., Gall, A.L., Katsikas, S., Karapoulios, K.: Application of genetic algorithms to software testing. In: Proc. of the 5th Int. Conf. on Software Engineering, pp. 625\u2013636 (1992)"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44857-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,5]],"date-time":"2025-05-05T06:04:13Z","timestamp":1746425053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44857-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642387081","9783642387098"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44857-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}