{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:36:00Z","timestamp":1743096960614,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958901"},{"type":"electronic","value":"9783540958918"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-95891-8_23","type":"book-chapter","created":{"date-parts":[[2009,1,22]],"date-time":"2009-01-22T01:19:21Z","timestamp":1232587161000},"page":"229-240","source":"Crossref","is-referenced-by-count":5,"title":["A Framework for Mutant Genetic Generation for WS-BPEL"],"prefix":"10.1007","author":[{"given":"Juan Jos\u00e9","family":"Dom\u00ednguez-Jim\u00e9nez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonia","family":"Estero-Botaro","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":"23_CR1","unstructured":"Papazoglou, M.: Web services technologies and standards. Computing Surveys (submitted)"},{"key":"23_CR2","unstructured":"OASIS: Web services business process execution language 2.0 (2007), \n                    \n                      http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"issue":"3","key":"23_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0950-5849(93)90053-6","volume":"35","author":"M.R. Woodward","year":"1993","unstructured":"Woodward, M.R.: Mutation testing \u2014its origin and evolution. Information and Software Technology\u00a035(3), 163\u2013169 (1993)","journal-title":"Information and Software Technology"},{"key":"23_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-1-4757-5939-6_7","volume-title":"Mutation testing for the new century","author":"J. Offutt","year":"2001","unstructured":"Offutt, J., Untch, R.H.: Mutation 2000: uniting the orthogonal. In: Mutation testing for the new century, pp. 34\u201344. Kluwer Academic Publishers, Norwell (2001)"},{"key":"23_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02830-8","volume-title":"Genetic algorithms + data structures = Evolution programs","author":"Z. Michalewicz","year":"1992","unstructured":"Michalewicz, Z.: Genetic algorithms + data structures = Evolution programs. Springer, Heidelberg (1992)"},{"issue":"4","key":"23_CR6","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"H. Zhu","year":"1997","unstructured":"Zhu, H., Hall, P., May, J.: Software unit test coverage and adequacy. ACM Computing Surveys\u00a029(4), 366\u2013427 (1997)","journal-title":"ACM Computing Surveys"},{"issue":"3","key":"23_CR7","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":"23_CR8","unstructured":"Agrawal, H., Demillo, R., Hathaway, R., Hsu, W., Hsu, W., Krauser, E., Martin, R.J., Mathur, A., Spafford, E.: Design of mutant operators for the C programming language. Tech. Rep. SERC-TR-41-P (1989)"},{"issue":"7","key":"23_CR9","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1002\/spe.4380210704","volume":"21","author":"K.N. King","year":"1991","unstructured":"King, K.N., Offutt, J.: A Fortran language system for mutation-based software testing. Software - Practice and Experience\u00a021(7), 685\u2013718 (1991)","journal-title":"Software - Practice and Experience"},{"key":"23_CR10","unstructured":"Offutt, J., Voas, J., Payne, J.: Mutation operators for Ada. Tech. Rep. ISSE-TR-96-09 (1996)"},{"issue":"4","key":"23_CR11","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1016\/j.infsof.2006.06.009","volume":"49","author":"J. Tuya","year":"2007","unstructured":"Tuya, J., Su\u00e1rez-Cabal, M.J., de la Riva, C.: Mutating database queries. Information and Software Technology\u00a049(4), 398\u2013417 (2007)","journal-title":"Information and Software Technology"},{"key":"23_CR12","unstructured":"Estero Botaro, A., Palomo Lozano, F., Medina Bulo, I.: Mutation operators for WS-BPEL 2.0. In: ICSSEA 2008: Proceedings of the 21th International Conference on Software & Systems Engineering and their Applications, Paris, France (to be published) (December 2008)"},{"key":"23_CR13","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, Reading (1989)"},{"issue":"2","key":"23_CR14","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1002\/stvr.308","volume":"15","author":"Y.S. Ma","year":"2005","unstructured":"Ma, Y.S., Offutt, J., Kwon, Y.R.: Mujava: an automated class mutation system. Software Testing, Verification & Reliability\u00a015(2), 97\u2013133 (2005)","journal-title":"Software Testing, Verification & Reliability"},{"key":"23_CR15","unstructured":"Delamaro, M., Maldonado, J.: Proteum\u2013a tool for the assessment of test adequacy for C programs. In: Proceedings of the Conference on Performability in Computing System (PCS 1996), pp. 79\u201395 (1996)"},{"key":"23_CR16","unstructured":"Bottaci, L.: Instrumenting programs with flag variables for test data search by genetic algorithms. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1337\u20131342 (2002)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1338","DOI":"10.1007\/978-3-540-24855-2_155","volume-title":"Genetic and Evolutionary Computation \u2013 GECCO 2004","author":"K. Adamopoulos","year":"2004","unstructured":"Adamopoulos, K., Harman, M., Hierons, R.M.: How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In: Deb, K., et al. (eds.) GECCO 2004. LNCS, vol.\u00a03103, pp. 1338\u20131349. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2009: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95891-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T21:08:23Z","timestamp":1551733703000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95891-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958901","9783540958918"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95891-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}