{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T02:13:26Z","timestamp":1768875206539,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,7,2]],"date-time":"2018-07-02T00:00:00Z","timestamp":1530489600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Union (European Regional Development Fund - ERDF)"},{"name":"Comunidad de Madrid"},{"name":"Spanish Ministry of Economy and Competitiveness"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,7,2]]},"DOI":"10.1145\/3205455.3205533","type":"proceedings-article","created":{"date-parts":[[2018,8,8]],"date-time":"2018-08-08T19:13:06Z","timestamp":1533755586000},"page":"1427-1434","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Test suite minimization for mutation testing of WS-BPEL compositions"],"prefix":"10.1145","author":[{"given":"Francisco","family":"Palomo-Lozano","sequence":"first","affiliation":[{"name":"University of C\u00e1diz, Puerto Real, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonia","family":"Estero-Botaro","sequence":"additional","affiliation":[{"name":"University of C\u00e1diz, Puerto Real, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Inmaculada","family":"Medina-Bulo","sequence":"additional","affiliation":[{"name":"University of C\u00e1diz, Puerto Real, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"additional","affiliation":[{"name":"Complutense University of Madrid, Madrid, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,7,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"ActiveVOS. 2009. Version 5.0.2 of the ActiveBPEL engine. (Jan. 2009). Retrieved February 1 2018 from http:\/\/sourceforge.net\/projects\/activebpel502"},{"key":"e_1_3_2_1_2_1","volume-title":"GECCO 2004: Proceedings of the Genetic and Evolutionary Computation Conference. 1338--1349","author":"Adamopoulos K.","unstructured":"K. Adamopoulos, M. Harman, and R. M. Hierons. 2004. How to overcome the equivalent mutant problem and achieve tailored selective mutation using co-evolution. In GECCO 2004: Proceedings of the Genetic and Evolutionary Computation Conference. 1338--1349."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","unstructured":"F. Arito F. Chicano and E. Alba. 2012. On the Application of SAT Solvers to the Test Suite Minimization Problem (LNCS) Vol. 7515. Springer 45--59. 10.1007\/978-3-642-33119-0_5","DOI":"10.1007\/978-3-642-33119-0_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"D. Baldwin and F. G. Sayward. 1979. Heuristics for Determining Equivalence of Program Mutations. Techreport 276. Yale University New Haven Connecticut.","DOI":"10.21236\/ADA071795"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999417"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.61"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308173.1308282"},{"key":"e_1_3_2_1_9_1","volume-title":"ICSSEA 2008, 21th International Conference on Software & Systems Engineering and their Applications. 7.","author":"Estero-Botaro A.","unstructured":"A. Estero-Botaro, F. Palomo-Lozano, and I. Medina-Bulo. 2008. Mutation Operators for WS-BPEL 2.0. In ICSSEA 2008, 21th International Conference on Software & Systems Engineering and their Applications. 7."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1528"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of International Computer Software and Applications Conference. IEEE Computer Society Press, 421--426","author":"Fischer K.","year":"1977","unstructured":"K. Fischer. 1977. A test case selection method for the validation of software maintenance modifications. In Proceedings of International Computer Software and Applications Conference. IEEE Computer Society Press, 421--426."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(93)90040-4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"M. R. Garey and D. S. Johnson. 1979. Computers and Intractability: A Guide to the Theory of NP-completeness. W. H. Freeman.","DOI":"10.5555\/578533"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2009.37"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","unstructured":"M. Harman R. Hierons and S. Danicic. 2001. Mutation Testing for the New Century. Kluwer Academic Publishers Chapter The relationship between program dependence and mutation analysis 5--13.","DOI":"10.5555\/571305.571310"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2537853"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199912)9:4<233::AID-STVR191>3.0.CO;2-3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1982.235571"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_20_1","volume-title":"IBM ILOG CPLEX Optimization Studio 12.8.0. (Jan","author":"IBM.","year":"2018","unstructured":"IBM. 2018. IBM ILOG CPLEX Optimization Studio 12.8.0. (Jan. 2018). Retrieved February 1, 2018 from http:\/\/www-01.ibm.com\/support\/docview.wss?uid=swg27050618"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/792764.793393"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"M. J\u00fcnger T. M. Liebling D. Naddef G. L. Nemhauser W. R. Pulleyblank G. Reinelt G. Rinaldi and L. A. Wolsey (Eds.). 2010. 50 Years of Integer Programming 1958-2008 - From the Early Years to the State-of-the-Art. Springer","DOI":"10.1007\/978-3-540-68279-0"},{"key":"e_1_3_2_1_24_1","volume-title":"Complexity of Computer Computations","author":"Karp R. M.","unstructured":"R. M. Karp. 1972. Complexity of Computer Computations. Plenum Press, Chapter Reducibility among Combinatorial Problems, 85--103."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610414"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2615100"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2013.58"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1145718.1145723"},{"key":"e_1_3_2_1_29_1","unstructured":"OASIS. 2007. Web Services Business Process Execution Language 2.0. http:\/\/docs.oasis-open.Org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html. (2007)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.4370040303"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/227607.227610"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","unstructured":"A. J. Offutt and R. H. Untch. 2001. Mutation Testing for the New Century. Kluwer Academic Publishers Chapter Mutation 2000: Uniting the Orthogonal 34--44.","DOI":"10.5555\/571305.571314"},{"key":"e_1_3_2_1_35_1","volume-title":"Technical Report ISSE-TR-96-01. Department of Computer Science","author":"Offutt A. J.","year":"1996","unstructured":"A. J. Offutt and J. M. Voas. 1996. Subsumption of condition coverage techniques by mutation testing. Technical Report ISSE-TR-96-01. Department of Computer Science, George Mason University."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818867"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572282"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.30"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2004685.2005527"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2014.04.054"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v17:2\/4"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2015.03.008"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/275587"},{"key":"e_1_3_2_1_44_1","volume-title":"WISA'09: Proc. of the 2009 Int. Symp. on Web Information Systems and Applications. 226--229","author":"Wang L.","unstructured":"L. Wang, R. Wan, M. Wang, and M. Li. 2009. Generating Small Combinatorial Test Suite via LP. In WISA'09: Proc. of the 2009 Int. Symp. on Web Information Systems and Applications. 226--229."},{"key":"e_1_3_2_1_45_1","volume-title":"TVA'88: 2nd Workshop on Software Testing, Verification, and Analysis. IEEE Computer Society, 152--158","author":"Woodward M. R.","unstructured":"M. R. Woodward and K. Halewood. 1988. From Weak to Strong, Dead or Alive? an Analysis of Some Mutationtesting Issues. In TVA'88: 2nd Workshop on Software Testing, Verification, and Analysis. IEEE Computer Society, 152--158."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2007.06.003"}],"event":{"name":"GECCO '18: Genetic and Evolutionary Computation Conference","location":"Kyoto Japan","acronym":"GECCO '18","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3205455.3205533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3205455.3205533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:07:45Z","timestamp":1750212465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3205455.3205533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7,2]]},"references-count":46,"alternative-id":["10.1145\/3205455.3205533","10.1145\/3205455"],"URL":"https:\/\/doi.org\/10.1145\/3205455.3205533","relation":{},"subject":[],"published":{"date-parts":[[2018,7,2]]},"assertion":[{"value":"2018-07-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}