{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:24:46Z","timestamp":1750307086465,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":97,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T00:00:00Z","timestamp":1346630400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,3]]},"DOI":"10.1145\/2351676.2351678","type":"proceedings-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T12:51:11Z","timestamp":1346763071000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":71,"title":["The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)"],"prefix":"10.1145","author":[{"given":"Mark","family":"Harman","sequence":"first","affiliation":[{"name":"University College London, UK"}]},{"given":"William B.","family":"Langdon","sequence":"additional","affiliation":[{"name":"University College London, UK"}]},{"given":"Yue","family":"Jia","sequence":"additional","affiliation":[{"name":"University College London, UK"}]},{"given":"David R.","family":"White","sequence":"additional","affiliation":[{"name":"University of Glasgow, UK"}]},{"given":"Andrea","family":"Arcuri","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory, Norway"}]},{"given":"John A.","family":"Clark","sequence":"additional","affiliation":[{"name":"University of York, UK"}]}],"member":"320","published-online":{"date-parts":[[2012,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"1349","volume-title":"Genetic and Evolutionary Computation Conference (GECCO 2004","author":"Adamopoulos K.","year":"2004","unstructured":"K. Adamopoulos , M. Harman , and R. M. Hierons . Mutation testing using genetic algorithms: A co-evolution approach . In Genetic and Evolutionary Computation Conference (GECCO 2004 ), LNCS 3103, pages 1338\u2013 1349 , Seattle, Washington, USA , June 2004 . Springer. K. Adamopoulos, M. Harman, and R. M. Hierons. Mutation testing using genetic algorithms: A co-evolution approach. In Genetic and Evolutionary Computation Conference (GECCO 2004), LNCS 3103, pages 1338\u20131349, Seattle, Washington, USA, June 2004. Springer."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.03.041"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.12.005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2010.19"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.52"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100082"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89694-4_7"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2008.4630793"},{"key":"e_1_3_2_1_9_1","volume-title":"Information Sciences","author":"Arcuri A.","year":"2010","unstructured":"A. Arcuri and X. Yao . Co-evolutionary automatic programming for software development . Information Sciences , 2010 . To appear. Available on line from Elsevier. A. Arcuri and X. Yao. Co-evolutionary automatic programming for software development. Information Sciences, 2010. To appear. Available on line from Elsevier."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100119"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2006.56"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(76)90011-4"},{"key":"e_1_3_2_1_13_1","volume-title":"Van Nostrand Reinhold","author":"Beizer B.","year":"1990","unstructured":"B. Beizer . Software Testing Techniques . Van Nostrand Reinhold , 1990 . B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990."},{"key":"e_1_3_2_1_14_1","volume-title":"Partial evaluation and mixed computation. North\u2013Holland","author":"Bj\u00f8rner D.","year":"1987","unstructured":"D. Bj\u00f8rner , A. P. Ershov , and N. D. Jones . Partial evaluation and mixed computation. North\u2013Holland , 1987 . D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones. Partial evaluation and mixed computation. North\u2013Holland, 1987."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985995"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882362.1882380"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:20030559"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1158337.1158696"},{"key":"e_1_3_2_1_19_1","first-page":"3690","volume-title":"Proceedings of the IEEE Aerospace Conference","author":"Cornford S. L.","year":"2003","unstructured":"S. L. Cornford , M. S. Feather , J. R. Dunphy , J. Salcedo , and T. Menzies . Optimizing Spacecraft Design - Optimization Engine Development: Progress and Plans . In Proceedings of the IEEE Aerospace Conference , pages 3681\u2013 3690 , Big Sky, Montana , March 2003 . S. L. Cornford, M. S. Feather, J. R. Dunphy, J. Salcedo, and T. Menzies. Optimizing Spacecraft Design - Optimization Engine Development: Progress and Plans. In Proceedings of the IEEE Aerospace Conference, pages 3681\u20133690, Big Sky, Montana, March 2003."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263742"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143148"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2004.10"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19982444"},{"key":"e_1_3_2_1_26_1","first-page":"20","volume-title":"1st International Workshop on Soft Computing Applied to Software Engineering","author":"Feldt R.","year":"1999","unstructured":"R. Feldt . Genetic programming as an explorative tool in early software development phases . In 1st International Workshop on Soft Computing Applied to Software Engineering , pages 11\u2013 20 , University of Limerick, Ireland , 12-14 Apr. 1999 . Limerick University Press. R. Feldt. Genetic programming as an explorative tool in early software development phases. In 1st International Workshop on Soft Computing Applied to Software Engineering, pages 11\u201320, University of Limerick, Ireland, 12-14 Apr. 1999. Limerick University Press."},{"key":"e_1_3_2_1_27_1","volume-title":"Functional Programming","author":"Field A. J.","year":"1988","unstructured":"A. J. Field and P. G. Harrison . Functional Programming . Addison-Wesley , Wokingham , 1988 . A. J. Field and P. G. Harrison. Functional Programming. Addison-Wesley, Wokingham, 1988."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-009-0075-y"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042243.2042251"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336775"},{"key":"e_1_3_2_1_32_1","first-page":"1705","volume-title":"Proceedings of the 2004 IEEE Congress on Evolutionary Computation","author":"Funes P.","year":"2004","unstructured":"P. Funes , E. Bonabeau , J. Herve , and Y. Morieux . Interactive multi-participant task allocation . In Proceedings of the 2004 IEEE Congress on Evolutionary Computation , pages 1699\u2013 1705 , Portland, Oregon , 20-23 June 2004 . IEEE Press. P. Funes, E. Bonabeau, J. Herve, and Y. Morieux. Interactive multi-participant task allocation. In Proceedings of the 2004 IEEE Congress on Evolutionary Computation, pages 1699\u20131705, Portland, Oregon, 20-23 June 2004. IEEE Press."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882315"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2003.04.006"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337225"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2007.35"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.30"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735223.1735248"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868328.1868330"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2011.263"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2372251.2372253"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025144"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(01)00189-6"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2379776.2379787"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.71"},{"key":"e_1_3_2_1_48_1","volume-title":"Springer","author":"Harman M.","year":"2012","unstructured":"M. Harman , P. McMinn , J. Souza , and S. Yoo . Search based software engineering: Techniques, taxonomy, tutorial. In B. Meyer and M. Nordio, editors, Empirical software engineering and veri\ufb01cation: LASER 2009-2010, pages 1\u201359 . Springer , 2012 . LNCS 7007. M. Harman, P. McMinn, J. Souza, and S. Yoo. Search based software engineering: Techniques, taxonomy, tutorial. In B. Meyer and M. Nordio, editors, Empirical software engineering and veri\ufb01cation: LASER 2009-2010, pages 1\u201359. Springer, 2012. LNCS 7007."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2011.6051653"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430536.2430540"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337322"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/1689599.1689839"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAIC-PART.2008.18"},{"key":"e_1_3_2_1_54_1","first-page":"101","volume-title":"7th International Working Conference on Mining Software Repositories (MSR","author":"Krinke J.","year":"2010","unstructured":"J. Krinke , N. Gold , Y. Jia , and D. Binkley . Cloning and copying between GNOME projects. In J. Whitehead and T. Zimmermann, editors , 7th International Working Conference on Mining Software Repositories (MSR 2010 ), pages 98\u2013 101 . IEEE, 2010. J. Krinke, N. Gold, Y. Jia, and D. Binkley. Cloning and copying between GNOME projects. In J. Whitehead and T. Zimmermann, editors, 7th International Working Conference on Mining Software Repositories (MSR 2010), pages 98\u2013101. IEEE, 2010."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1137839"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.03.009"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAICPART.2009.15"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.5555\/1928028.1928039"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570256.1570280"},{"key":"e_1_3_2_1_60_1","first-page":"8","volume-title":"IEEE Congress on Evolutionary Computation","author":"Langdon W. B.","unstructured":"W. B. Langdon and M. Harman . Evolving a CUDA kernel from an nVidia template . In IEEE Congress on Evolutionary Computation , pages 1\u2013 8 . IEEE, 2010. W. B. Langdon and M. Harman. Evolving a CUDA kernel from an nVidia template. In IEEE Congress on Evolutionary Computation, pages 1\u20138. IEEE, 2010."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.07.027"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-008-0296-x"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.104"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587070"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.31"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1984732.1984742"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-007-0219-2"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.942529"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2052622"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/80153"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.295894"},{"key":"e_1_3_2_1_74_1","first-page":"1795","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference (GECCDO \u201999)","volume":"2","author":"Pohlheim H.","year":"1999","unstructured":"H. Pohlheim and J. Wegener . Testing the temporal behavior of real-time software modules using extended evolutionary algorithms . In Proceedings of the Genetic and Evolutionary Computation Conference (GECCDO \u201999) , volume 2 , page 1795 , San Francisco, CA 94104, USA , 13-17 July 1999 . Morgan Kaufmann. H. Pohlheim and J. Wegener. Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCDO \u201999), volume 2, page 1795, San Francisco, CA 94104, USA, 13-17 July 1999. Morgan Kaufmann."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010068314282"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.001"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"crossref","unstructured":"C.\n      Ryan\n    . \n      Automatic\n       Re-engineering of \n      Software Using Genetic Programming volume \n  2\n   of \n  Genetic Programming\n  . \n  Kluwer Academic Publishers 1 Nov. \n  1999\n  .   C. Ryan. Automatic Re-engineering of Software Using Genetic Programming volume 2 of Genetic Programming. Kluwer Academic Publishers 1 Nov. 1999.","DOI":"10.1007\/978-1-4615-4631-3_1"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519071"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287641"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.32"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025133"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.34"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007528"},{"key":"e_1_3_2_1_85_1","volume-title":"Requirements Engineering - From System Goals to UML Models to Software Speci\ufb01cations","author":"van Lamsweerde A.","year":"2009","unstructured":"A. van Lamsweerde . Requirements Engineering - From System Goals to UML Models to Software Speci\ufb01cations . Wiley , 2009 . A. van Lamsweerde. Requirements Engineering - From System Goals to UML Models to Software Speci\ufb01cations. Wiley, 2009."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2007.903549"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24855-2_160"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/25.4.465"},{"key":"e_1_3_2_1_90_1","volume-title":"Dapartment of Computer Science","author":"White D. R.","year":"2010","unstructured":"D. R. White . Genetic Programming for Low-Resource Systems . Ph D Thesis , Dapartment of Computer Science , University of York , UK, 2010 . D. R. White. Genetic Programming for Low-Resource Systems. PhD Thesis, Dapartment of Computer Science, University of York, UK, 2010."},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2083669"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389437"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1002\/stv.430"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.435"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.5555\/2042243.2042271"},{"key":"e_1_3_2_1_96_1","volume-title":"8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE \u201911)","author":"Yoo S.","year":"2011","unstructured":"S. Yoo , R. Nilsson , and M. Harman . Faster fault \ufb01nding at Google using multi objective regression test optimisation . In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE \u201911) , Szeged, Hungary, September 5th - 9th 2011 . Industry Track. S. Yoo, R. Nilsson, and M. Harman. Faster fault \ufb01nding at Google using multi objective regression test optimisation. In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE \u201911), Szeged, Hungary, September 5th - 9th 2011. Industry Track."},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1145\/1830483.1830733"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69062-7_8"}],"event":{"name":"ASE'12: IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGAI ACM Special Interest Group on Artificial Intelligence","Universit\u00e4t Duisburg Essen Universit\u00e4t Duisburg Essen","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Essen Germany","acronym":"ASE'12"},"container-title":["Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2351676.2351678","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2351676.2351678","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:23Z","timestamp":1750239263000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2351676.2351678"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,3]]},"references-count":97,"alternative-id":["10.1145\/2351676.2351678","10.1145\/2351676"],"URL":"https:\/\/doi.org\/10.1145\/2351676.2351678","relation":{},"subject":[],"published":{"date-parts":[[2012,9,3]]},"assertion":[{"value":"2012-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}