{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T21:05:28Z","timestamp":1770066328251,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":113,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642252303","type":"print"},{"value":"9783642252310","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-25231-0_1","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:45Z","timestamp":1328654325000},"page":"1-59","source":"Crossref","is-referenced-by-count":134,"title":["Search Based Software Engineering: Techniques, Taxonomy, Tutorial"],"prefix":"10.1007","author":[{"given":"Mark","family":"Harman","sequence":"first","affiliation":[]},{"given":"Phil","family":"McMinn","sequence":"additional","affiliation":[]},{"given":"Jerffeson Teixeira","family":"de Souza","sequence":"additional","affiliation":[]},{"given":"Shin","family":"Yoo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"ACM. The 1998 ACM computing classification system (2009), http:\/\/www.acm.org\/about\/class\/1998"},{"key":"1_CR2","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)"},{"issue":"6","key":"1_CR3","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1016\/j.infsof.2008.12.005","volume":"51","author":"W. Afzal","year":"2009","unstructured":"Afzal, W., Torkar, R., Feldt, R.: A systematic review of search-based testing for non-functional system properties. Information and Software Technology\u00a051(6), 957\u2013976 (2009)","journal-title":"Information and Software Technology"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Ali, S., Briand, L.C., Hemmati, H., Panesar-Walawege, R.K.: A systematic review of the application and empirical investigation of search-based test-case generation. IEEE Transactions on Software Engineering (2010) to appear","DOI":"10.1109\/TSE.2009.52"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Antoniol, G., Gueorguiev, S., Harman, M.: Software project planning for robustness and completion time in the presence of uncertainty using multi objective search based software engineering. In: ACM Genetic and Evolutionary Computation COnference (GECCO 2009), Montreal, Canada, July 8-12, pp. 1673\u20131680 (2009)","DOI":"10.1145\/1569901.1570125"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1109\/ICSM.2005.79","volume-title":"21st IEEE International Conference on Software Maintenance","author":"G. Antoniol","year":"2005","unstructured":"Antoniol, G., Di Penta, M., Harman, M.: Search-based techniques applied to optimization of project planning for a massive maintenance project. In: 21st IEEE International Conference on Software Maintenance, pp. 240\u2013249. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Arcuri, A.: It does matter how you normalise the branch distance in search based software testing. In: Proceedings of the International Conference on Software Testing, Verification and Validation, pp. 205\u2013214. IEEE (2010)","DOI":"10.1109\/ICST.2010.17"},{"key":"1_CR8","first-page":"1","volume-title":"33rd International Conference on Software Engineering (ICSE 2011)","author":"A. Arcuri","year":"2011","unstructured":"Arcuri, A., Briand, L.: A practical guide for using statistical tests to assess randomized algorithms in software engineering. In: 33rd International Conference on Software Engineering (ICSE 2011), pp. 1\u201310. ACM, New York (2011)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-89694-4_7","volume-title":"Simulated Evolution and Learning","author":"A. Arcuri","year":"2008","unstructured":"Arcuri, A., White, D.R., Yao, X.: Multi-objective Improvement of Software Using Co-evolution and Smart Seeding. In: Li, X., Kirley, M., Zhang, M., Green, D., Ciesielski, V., Abbass, H.A., Michalewicz, Z., Hendtlass, T., Deb, K., Tan, K.C., Branke, J., Shi, Y. (eds.) SEAL 2008. LNCS, vol.\u00a05361, pp. 61\u201370. Springer, Heidelberg (2008)"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: Coevolving Programs and Unit Tests from their Specification. In: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE 2007), Atlanta, Georgia, USA, November 5-9, pp. 397\u2013400. ACM (2007)","DOI":"10.1145\/1321631.1321693"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Arcuri, A., Yao, X.: A Novel Co-evolutionary Approach to Automatic Software Bug Fixing. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2008), Hongkong, China, June 1-6, pp. 162\u2013168. IEEE Computer Society (2008)","DOI":"10.1109\/CEC.2008.4630793"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Asadi, F., Antoniol, G., Gu\u00e9h\u00e9neuc, Y.-G.: Concept locations with genetic algorithms: A comparison of four distributed architectures. In: Proceedings of 2nd International Symposium on Search based Software Engineering (SSBSE 2010), Benevento, Italy. IEEE Computer Society Press (2010) to appear","DOI":"10.1109\/SSBSE.2010.26"},{"issue":"14","key":"1_CR13","doi-asserted-by":"publisher","first-page":"883","DOI":"10.1016\/S0950-5849(01)00194-X","volume":"43","author":"A.J. Bagnall","year":"2001","unstructured":"Bagnall, A.J., Rayward-Smith, V.J., Whittley, I.M.: The next release problem. Information and Software Technology\u00a043(14), 883\u2013890 (2001)","journal-title":"Information and Software Technology"},{"key":"1_CR14","unstructured":"Baker, J.E.: Reducing bias and inefficiency in the selection algorithm. In: Proceedings of the 2nd International Conference on Genetic Algorithms and their Application, Hillsdale, New Jersey, USA, Lawrence Erlbaum Associates (1987)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Binkley, D., Harman, M., Lakhotia, K.: FlagRemover: A testability transformation for transforming loop assigned flags. ACM Transactions on Software Engineering and Methodology. (2010) to appear","DOI":"10.1145\/2000791.2000796"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"Black, J., Melachrinoudis, E., Kaeli, D.: Bi-criteria models for all-uses test suite reduction. In: Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), pp. 106\u2013115. ACM Press (May 2004)","DOI":"10.1109\/ICSE.2004.1317433"},{"key":"1_CR17","unstructured":"Bowman, M., Briand, L.C., Labiche, Y.: Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms. Technical Report SCE-07-02, Carleton University (August. 2008)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1016\/S0950-5849(01)00192-6","volume":"43","author":"C.J. Burgess","year":"2001","unstructured":"Burgess, C.J., Lefley, M.: Can genetic programming improve software effort estimation? a comparative evaluation. Information and Software Technology\u00a043, 863\u2013873 (2001)","journal-title":"Information and Software Technology"},{"key":"1_CR19","volume-title":"Search Methodologies. Introductory tutorials in optimization and decision support techniques","author":"E. Burke","year":"2005","unstructured":"Burke, E., Kendall, G.: Search Methodologies. Introductory tutorials in optimization and decision support techniques. Springer, Heidelberg (2005)"},{"key":"1_CR20","unstructured":"Chen, T.Y., Lau, M.F.: Heuristics towards the optimization of the size of a test suite. In: Proceedings of the 3rd International Conference on Software Quality Management, vol.\u00a02, pp. 415\u2013424 (1995)"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1049\/ip-sen:20030559","volume":"150","author":"J. Clark","year":"2003","unstructured":"Clark, J., Dolado, J.J., Harman, M., Hierons, R.M., Jones, B., Lumkin, M., Mitchell, B., Mancoridis, S., Rees, K., Roper, M., Shepperd, M.: Reformulating software engineering as a search problem. IEE Proceedings \u2014 Software\u00a0150(3), 161\u2013175 (2003)","journal-title":"IEE Proceedings \u2014 Software"},{"key":"1_CR22","unstructured":"Crescenzi, P., Kann, V. (eds.): A compendium of NP-optimization problems, http:\/\/www.nada.kth.se\/"},{"key":"1_CR23","first-page":"69","volume-title":"Foundations of Genetic Algorithms","author":"K. Deb","year":"1991","unstructured":"Deb, K., Goldberg, D.: A comparative analysis of selection schemes used in genetic algorithms. In: Foundations of Genetic Algorithms, pp. 69\u201393. Morgan Kaufmann, San Francisco (1991)"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K. Deb","year":"2002","unstructured":"Deb, K., Pratap, A., Agarwal, S., Meyarivan, T.: A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation\u00a06, 182\u2013197 (2002)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"issue":"1","key":"1_CR25","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/S0950-5849(00)00137-3","volume":"43","author":"J.J. Dolado","year":"2001","unstructured":"Dolado, J.J.: On the problem of the software cost function. Information and Software Technology\u00a043(1), 61\u201372 (2001)","journal-title":"Information and Software Technology"},{"issue":"10","key":"1_CR26","doi-asserted-by":"publisher","first-page":"1006","DOI":"10.1109\/32.879821","volume":"26","author":"J.J. Dolado","year":"2000","unstructured":"Dolado, J.J.: A Validation of the Component-based Method for Software Size Estimation. IEEE Transactions on Software Engineering\u00a026(10), 1006\u20131021 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Durillo, J.J., Zhang, Y., Alba, E., Nebro, A.J.: A Study of the Multi-Objective Next Release Problem. In: Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE 2009), Cumberland Lodge, Windsor, UK, May 13-15, pp. 49\u201358. IEEE Computer Society Press (2009)","DOI":"10.1109\/SSBSE.2009.21"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Elbaum, S.G., Malishevsky, A.G., Rothermel, G.: Prioritizing test cases for regression testing. In: International Symposium on Software Testing and Analysis, pp. 102\u2013112. ACM Press (2000)","DOI":"10.1145\/347636.348910"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1109\/SCAM.2004.11","volume-title":"4th International Workshop on Source Code Analysis and Manipulation (SCAM 2004)","author":"D. Fatiregun","year":"2004","unstructured":"Fatiregun, D., Harman, M., Hierons, R.: Evolving transformation sequences using genetic algorithms. In: 4th International Workshop on Source Code Analysis and Manipulation (SCAM 2004), pp. 65\u201374. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/WCRE.2005.28","volume-title":"12th International Working Conference on Reverse Engineering (WCRE 2005)","author":"D. Fatiregun","year":"2005","unstructured":"Fatiregun, D., Harman, M., Hierons, R.: Search-based amorphous slicing. In: 12th International Working Conference on Reverse Engineering (WCRE 2005), pp. 3\u201312. Carnegie Mellon University, Pittsburgh (2005)"},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"Finkelstein, A., Harman, M., Afshin Mansouri, S., Ren, J., Zhang, Y.: \u201cFairness Analysis\u201d in Requirements Assignments. In: Proceedings of the 16th IEEE International Requirements Engineering Conference (RE 2008), Barcelona, Catalunya, Spain, September 8-12, pp. 115\u2013124. IEEE Computer Society (2008)","DOI":"10.1109\/RE.2008.61"},{"key":"1_CR32","unstructured":"Foster, I.: Designing and building parallel programs:Concepts and tools for parallel software. Addison-Wesley (1995)"},{"key":"1_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-642-11659-9_28","volume-title":"Distributed Computing and Internet Technology","author":"P.G. Sapna","year":"2010","unstructured":"Sapna, P.G., Mohanty, H.: Automated Test Scenario Selection Based on Levenshtein Distance. In: Janowski, T., Mohanty, H. (eds.) ICDCIT 2010. LNCS, vol.\u00a05966, pp. 255\u2013266. Springer, Heidelberg (2010)"},{"key":"1_CR34","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A guide to the theory of NP-Completeness. W. H. Freeman and Company (1979)"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Gu, Q., Tang, B., Chen, D.: Optimal regression testing based on selective coverage of test requirements. In: International Symposium on Parallel and Distributed Processing with Applications (ISPA 2010), pp. 419\u2013426 (September 2010)","DOI":"10.1109\/ISPA.2010.62"},{"key":"1_CR36","first-page":"342","volume-title":"Future of Software Engineering 2007","author":"M. Harman","year":"2007","unstructured":"Harman, M.: The current state and future of search based software engineering. In: Briand, L., Wolf, A. (eds.) Future of Software Engineering 2007, pp. 342\u2013357. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Harman, M.: Search based software engineering for program comprehension. In: 15th International Conference on Program Comprehension (ICPC 2007), Banff, Canada, pp. 3\u201313. IEEE Computer Society Press (2007)","DOI":"10.1109\/ICPC.2007.35"},{"key":"1_CR38","doi-asserted-by":"crossref","unstructured":"Harman, M.: The relationship between search based software engineering and predictive modeling. In: 6th International Conference on Predictive Models in Software Engineering, Article Number 1, Timisoara, Romania (2010) (keynote paper)","DOI":"10.1145\/1868328.1868330"},{"key":"1_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-12029-9_1","volume-title":"Fundamental Approaches to Software Engineering","author":"M. Harman","year":"2010","unstructured":"Harman, M.: Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol.\u00a06013, pp. 1\u201312. Springer, Heidelberg (2010)"},{"key":"1_CR40","doi-asserted-by":"crossref","unstructured":"Harman, M.: Making the case for MORTO: Multi objective regression test optimization. In: 1st International Workshop on Regression Testing (Regression 2011), Berlin, Germany (March 2011)","DOI":"10.1109\/ICSTW.2011.60"},{"key":"1_CR41","doi-asserted-by":"crossref","unstructured":"Harman, M.: Refactoring as testability transformation. In: Refactoring and Testing Workshop (RefTest 2011), Berlin, Germany (March 2011)","DOI":"10.1109\/ICSTW.2011.38"},{"key":"1_CR42","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/METRIC.2004.1357891","volume-title":"10th International Software Metrics Symposium (METRICS 2004)","author":"M. Harman","year":"2004","unstructured":"Harman, M., Clark, J.: Metrics are fitness functions too. In: 10th International Software Metrics Symposium (METRICS 2004), pp. 58\u201369. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"1_CR43","doi-asserted-by":"crossref","unstructured":"Harman, M., Hassoun, Y., Lakhotia, K., McMinn, P., Wegener, J.: The impact of input domain reduction on search-based test data generation. In: ACM Symposium on the Foundations of Software Engineering (FSE 2007), Dubrovnik, Croatia, pp. 155\u2013164. Association for Computer Machinery (September 2007)","DOI":"10.1145\/1287624.1287647"},{"issue":"3","key":"1_CR44","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1002\/swf.41","volume":"2","author":"M. Harman","year":"2001","unstructured":"Harman, M., Hierons, R.M.: An overview of program slicing. Software Focus\u00a02(3), 85\u201392 (2001)","journal-title":"Software Focus"},{"issue":"14","key":"1_CR45","doi-asserted-by":"publisher","first-page":"833","DOI":"10.1016\/S0950-5849(01)00189-6","volume":"43","author":"M. Harman","year":"2001","unstructured":"Harman, M., Jones, B.F.: Search based software engineering. Information and Software Technology\u00a043(14), 833\u2013839 (2001)","journal-title":"Information and Software Technology"},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"Harman, M., Krinke, J., Ren, J., Yoo, S.: Search based data sensitivity analysis applied to requirement engineering. In: ACM Genetic and Evolutionary Computation Conference (GECCO 2009), Montreal, Canada, July 8-12, pp. 1681\u20131688 (2009)","DOI":"10.1145\/1569901.1570126"},{"key":"1_CR47","doi-asserted-by":"crossref","unstructured":"Harman, M., Lakhotia, K., McMinn, P.: A Multi-Objective Approach to Search-based Test Data Generation. In: Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO 2007), London, England, July 7-11, pp. 1098\u20131105. ACM (2007)","DOI":"10.1145\/1276958.1277175"},{"key":"1_CR48","unstructured":"Harman, M., Mansouri, A., Zhang, Y.: Search based software engineering: A comprehensive analysis and review of trends techniques and applications. Technical Report TR-09-03, Department of Computer Science, King\u2019s College London (April 2009)"},{"key":"1_CR49","doi-asserted-by":"crossref","unstructured":"Harman, M., McMinn, P.: A theoretical and empirical analysis of evolutionary testing and hill climbing for structural test data generation. In: International Symposium on Software Testing and Analysis (ISSTA 2007), London, United Kingdom, pp. 73\u201383. Association for Computer Machinery (2007)","DOI":"10.1145\/1273463.1273475"},{"issue":"2","key":"1_CR50","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 Transactions on Software Engineering\u00a036(2), 226\u2013247 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Harman, M., Swift, S., Mahdavi, K.: An empirical study of the robustness of two module clustering fitness functions. In: Genetic and Evolutionary Computation Conference (GECCO 2005), Washington DC, USA, pp. 1029\u20131036. Association for Computer Machinery (2005)","DOI":"10.1145\/1068009.1068184"},{"key":"1_CR52","first-page":"1106","volume-title":"GECCO 2007: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation","author":"M. Harman","year":"2007","unstructured":"Harman, M., Tratt, L.: Pareto optimal search-based refactoring at the design level. In: GECCO 2007: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, pp. 1106\u20131113. ACM Press, London (2007)"},{"issue":"3","key":"1_CR53","doi-asserted-by":"publisher","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"M. Jean Harrold","year":"1993","unstructured":"Jean Harrold, M., Gupta, R., Lou Soffa, M.: A methodology for controlling the size of a test suite. ACM Transactions on Software Engineering and Methodology\u00a02(3), 270\u2013285 (1993)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"1_CR54","volume-title":"Adaptation in Natural and Artificial Systems","author":"J.H. Holland","year":"1975","unstructured":"Holland, J.H.: Adaptation in Natural and Artificial Systems. University of Michigan Press, Ann Arbor (1975)"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Ince, D.C., Hekmatpour, S.: Empirical evaluation of random testing. The Computer Journal\u00a029(4) (August 1986)","DOI":"10.1093\/comjnl\/29.4.380"},{"issue":"4598","key":"1_CR56","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1126\/science.220.4598.671","volume":"220","author":"S. Kirkpatrick","year":"1983","unstructured":"Kirkpatrick, S., Gellat, C.D., Vecchi, M.P.: Optimization by simulated annealing. Science\u00a0220(4598), 671\u2013680 (1983)","journal-title":"Science"},{"key":"1_CR57","first-page":"1367","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"C. Kirsopp","year":"2002","unstructured":"Kirsopp, C., Shepperd, M., Hart, J.: Search heuristics, case-based reasoning and software project effort prediction. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, July 9-13, pp. 1367\u20131374. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"1_CR58","first-page":"1367","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2002","author":"C. Kirsopp","year":"2002","unstructured":"Kirsopp, C., Shepperd, M.J., Hart, J.: Search heuristics, case-based reasoning and software project effort prediction. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO 2002, pp. 1367\u20131374. Morgan Kaufmann Publishers Inc., San Francisco (2002)"},{"issue":"8","key":"1_CR59","doi-asserted-by":"publisher","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"B. Korel","year":"1990","unstructured":"Korel, B.: Automated software test data generation. IEEE Transactions on Software Engineering\u00a016(8), 870\u2013879 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR60","first-page":"1759","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2008)","author":"K. Lakhotia","year":"2008","unstructured":"Lakhotia, K., Harman, M., McMinn, P.: Handling dynamic data structures in search based testing. In: Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2008), pp. 1759\u20131766. ACM Press, Atlanta (2008)"},{"issue":"1","key":"1_CR61","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/s11704-009-0006-6","volume":"3","author":"P.K. Lehre","year":"2009","unstructured":"Lehre, P.K., Yao, X.: Runtime analysis of search heuristics on software engineering problems. Frontiers of Computer Science in China\u00a03(1), 64\u201372 (2009)","journal-title":"Frontiers of Computer Science in China"},{"key":"1_CR62","first-page":"315","volume-title":"IEEE International Conference on Software Maintenance","author":"K. Mahdavi","year":"2003","unstructured":"Mahdavi, K., Harman, M., Mark Hierons, R.: A multiple hill climbing approach to software module clustering. In: IEEE International Conference on Software Maintenance, pp. 315\u2013324. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"1_CR63","unstructured":"Maia, C.L.B., do Carmo, R.A.F., de Freitas, F.G., Lima de Campos, G.A., de Souza, J.T.: A multi-objective approach for the regression test case selection problem. In: Proceedings of Anais do XLI Simp\u00f2sio Brasileiro de Pesquisa Operacional (SBPO 2009), pp. 1824\u20131835 (2009)"},{"key":"1_CR64","first-page":"45","volume-title":"International Workshop on Program Comprehension (IWPC 1998)","author":"S. Mancoridis","year":"1998","unstructured":"Mancoridis, S., Mitchell, B.S., Rorres, C., Chen, Y.-F., Gansner, E.R.: Using automatic clustering to produce high-level system organizations of source code. In: International Workshop on Program Comprehension (IWPC 1998), pp. 45\u201353. IEEE Computer Society Press, Los Alamitos (1998)"},{"issue":"2","key":"1_CR65","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. Software Testing, Verification and Reliability\u00a014(2), 105\u2013156 (2004)","journal-title":"Software Testing, Verification and Reliability"},{"key":"1_CR66","volume-title":"Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST 2011)","author":"P. McMinn","year":"2011","unstructured":"McMinn, P.: Search-based testing: Past, present and future. In: Proceedings of the 3rd International Workshop on Search-Based Software Testing (SBST 2011). IEEE, Berlin (to appear, 2011)"},{"key":"1_CR67","first-page":"1375","volume-title":"GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference","author":"B.S. Mitchell","year":"2002","unstructured":"Mitchell, B.S., Mancoridis, S.: Using heuristic search techniques to extract design abstractions from source code. In: GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference, July 9-13, pp. 1375\u20131382. Morgan Kaufmann Publishers, San Francisco (2002)"},{"issue":"3","key":"1_CR68","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1109\/TSE.2006.31","volume":"32","author":"B.S. Mitchell","year":"2006","unstructured":"Mitchell, B.S., Mancoridis, S.: On the automatic modularization of software systems using the bunch tool. IEEE Transactions on Software Engineering\u00a032(3), 193\u2013208 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR69","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1109\/WICSA.2001.948427","volume-title":"IEEE\/IFIP Proceedings of the Working Conference on Software Architecture (WICSA 2001)","author":"B.S. Mitchell","year":"2001","unstructured":"Mitchell, B.S., Traverso, M., Mancoridis, S.: An architecture for distributing the computation of software clustering algorithms. In: IEEE\/IFIP Proceedings of the Working Conference on Software Architecture (WICSA 2001), pp. 181\u2013190. IEEE Computer Society, Amsterdam (2001)"},{"key":"1_CR70","first-page":"245","volume-title":"Proc. of the First European Conference on Artificial Life","author":"M. Mitchell","year":"1992","unstructured":"Mitchell, M., Forrest, S., Holland, J.H.: The royal road for genetic algorithms: Fitness landscapes and GA performance. In: Varela, F.J., Bourgine, P. (eds.) Proc. of the First European Conference on Artificial Life, pp. 245\u2013254. MIT Press, Cambridge (1992)"},{"issue":"1","key":"1_CR71","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1162\/evco.1993.1.1.25","volume":"1","author":"H. M\u00fchlenbein","year":"1993","unstructured":"M\u00fchlenbein, H., Schlierkamp-Voosen, D.: Predictive models for the breeder genetic algorithm: I. continuous parameter optimization. Evolutionary Computation\u00a01(1), 25\u201349 (1993)","journal-title":"Evolutionary Computation"},{"key":"1_CR72","doi-asserted-by":"crossref","unstructured":"Munawar, A., Wahib, M., Munetomo, M., Akama, K.: A survey: Genetic algorithms and the fast evolving world of parallel computing. In: 10th IEEE International Conference on High Performance Computing and Communications (HPCC 2008), pp. 897\u2013902. IEEE (2008)","DOI":"10.1109\/HPCC.2008.77"},{"key":"1_CR73","unstructured":"Munroe, R.: XKCD: Significant, http:\/\/xkcd.com\/882\/"},{"key":"1_CR74","unstructured":"Offutt, J., Pan, J., Voas, J.: Procedures for reducing the size of coverage-based test sets. In: Proceedings of the 12th International Conference on Testing Computer Software, pp. 111\u2013123 (June 1995)"},{"issue":"5","key":"1_CR75","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1002\/smr.378","volume":"20","author":"M. O\u2019Keeffe","year":"2008","unstructured":"O\u2019Keeffe, M., \u00d3 Cinn\u00e9ide, M.: Search-based refactoring: an empirical study. Journal of Software Maintenance\u00a020(5), 345\u2013364 (2008)","journal-title":"Journal of Software Maintenance"},{"key":"1_CR76","doi-asserted-by":"crossref","unstructured":"Pinto, G.H.L., Vergilio, S.R.: A multi-objective genetic algorithm to test data generation. In: 22nd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2010), pp. 129\u2013134. IEEE Computer Society (2010)","DOI":"10.1109\/ICTAI.2010.26"},{"key":"1_CR77","doi-asserted-by":"crossref","unstructured":"Praditwong, K., Harman, M., Yao, X.: Software module clustering as a multi-objective search problem. IEEE Transactions on Software Engineering (to appear, 2011)","DOI":"10.1109\/TSE.2010.26"},{"issue":"4","key":"1_CR78","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/j.cosrev.2010.06.001","volume":"4","author":"O. R\u00e4ih\u00e4","year":"2010","unstructured":"R\u00e4ih\u00e4, O.: A survey on search\u2013based software design. Computer Science Review\u00a04(4), 203\u2013249 (2010)","journal-title":"Computer Science Review"},{"key":"1_CR79","volume-title":"4th International Software Metrics Symposium","author":"S.C. Reid","year":"1997","unstructured":"Reid, S.C.: An empirical analysis of equivalence partitioning, boundary value analysis and random testing. In: 4th International Software Metrics Symposium. IEEE Computer Society Press, Los Alamitos (1997)"},{"issue":"2","key":"1_CR80","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1002\/stvr.256","volume":"4","author":"G. Rothermel","year":"2002","unstructured":"Rothermel, G., Harrold, M., Ronne, J., Hong, C.: Empirical studies of test suite reduction. Software Testing, Verification, and Reliability\u00a04(2), 219\u2013249 (2002)","journal-title":"Software Testing, Verification, and Reliability"},{"key":"1_CR81","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Harrold, M.J., Ostrin, J., Hong, C.: An empirical study of the effects of minimization on the fault detection capabilities of test suites. In: Proceedings of International Conference on Software Maintenance (ICSM 1998), Bethesda, Maryland, USA, pp. 34\u201343. IEEE Computer Society Press (November 1998)","DOI":"10.1109\/ICSM.1998.738487"},{"key":"1_CR82","doi-asserted-by":"crossref","unstructured":"Ruhe, G., Greer, D.: Quantitative Studies in Software Release Planning under Risk and Resource Constraints. In: Proceedings of the International Symposium on Empirical Software Engineering (ISESE 2003), Rome, Italy, September 29 - October 4, pp. 262\u2013270. IEEE (2003)","DOI":"10.1109\/ISESE.2003.1237987"},{"key":"1_CR83","doi-asserted-by":"crossref","unstructured":"Ryan, C.: Automatic re-engineering of software using genetic programming. Kluwer Academic Publishers (2000)","DOI":"10.1007\/978-1-4615-4631-3"},{"key":"1_CR84","doi-asserted-by":"crossref","unstructured":"Saliu, M.O., Ruhe, G.: Bi-objective release planning for evolving software systems. In: Crnkovic, I., Bertolino, A. (eds.) Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC\/FSE) 2007, pp. 105\u2013114. ACM (September 2007)","DOI":"10.1145\/1287624.1287641"},{"key":"1_CR85","doi-asserted-by":"crossref","unstructured":"Seng, O., Stammel, J., Burkhart, D.: Search-based determination of refactorings for improving the class structure of object-oriented systems. In: Genetic and Evolutionary Computation Conference (GECCO 2006), Seattle, Washington, USA, July 8-12, vol.\u00a02, pp. 1909\u20131916. ACM Press (2006)","DOI":"10.1145\/1143997.1144315"},{"key":"1_CR86","doi-asserted-by":"crossref","unstructured":"Shaw, M.: Writing good software engineering research papers: minitutorial. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Piscataway, NJ, May 3-10, pp. 726\u2013737. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201262"},{"key":"1_CR87","unstructured":"Shepperd, M.J.: Foundations of software measurement. Prentice Hall (1995)"},{"key":"1_CR88","doi-asserted-by":"crossref","unstructured":"Simons, C.L., Parmee, I.C.: Agent-based Support for Interactive Search in Conceptual Software Engineering Design. In: Keijzer, M. (ed.) Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO 2008), Atlanta, GA, USA, July 12-16, pp. 1785\u20131786. ACM (2008)","DOI":"10.1145\/1389095.1389440"},{"issue":"6","key":"1_CR89","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1109\/TSE.2010.34","volume":"36","author":"C.L. Simons","year":"2010","unstructured":"Simons, C.L., Parmee, I.C., Gwynllyw, R.: Interactive, evolutionary search in upstream object-oriented class design. IEEE Transactions on Software Engineering\u00a036(6), 798\u2013816 (2010)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR90","doi-asserted-by":"crossref","unstructured":"de Souza, J.T., Maia, C.L., de Freitas, F.G., Coutinho, D.P.: The human competitiveness of search based software engineering. In: Proceedings of 2nd International Symposium on Search based Software Engineering (SSBSE 2010), Benevento, Italy, pp. 143\u2013152. IEEE Computer Society Press (2010)","DOI":"10.1109\/SSBSE.2010.25"},{"key":"1_CR91","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-642-03751-1_3","volume-title":"Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics","author":"A.M. Sutton","year":"2009","unstructured":"Sutton, A.M., Howe, A.E., Whitley, L.D.: Estimating Bounds on Expected Plateau Size in MAXSAT Problems. In: St\u00fctzle, T., Birattari, M., Hoos, H.H. (eds.) SLS 2009. LNCS, vol.\u00a05752, pp. 31\u201345. Springer, Heidelberg (2009)"},{"key":"1_CR92","doi-asserted-by":"crossref","unstructured":"Tonella, P., Susi, A., Palma, F.: Using interactive ga for requirements prioritization. In: Proceedings of the 2nd International Symposium on Search Based Software Engineering (SSBSE 2010), Benevento, Italy, September 7-9, pp. 57\u201366. IEEE (2010)","DOI":"10.1109\/SSBSE.2010.17"},{"key":"1_CR93","doi-asserted-by":"crossref","unstructured":"Tracey, N., Clark, J., Mander, K., McDermid, J.: An automated framework for structural test-data generation. In: Proceedings of the International Conference on Automated Software Engineering, Hawaii, USA, pp. 285\u2013288. IEEE Computer Society Press (1998)","DOI":"10.1109\/ASE.1998.732680"},{"key":"1_CR94","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"49","author":"A.M. Turing","year":"1950","unstructured":"Turing, A.M.: Computing machinery and intelligence. Mind\u00a049, 433\u2013460 (1950)","journal-title":"Mind"},{"key":"1_CR95","doi-asserted-by":"crossref","unstructured":"Wada, H., Champrasert, P., Suzuki, J., Oba, K.: Multiobjective Optimization of SLA-Aware Service Composition. In: Proceedings of IEEE Workshop on Methodologies for Non-functional Properties in Services Computing, Honolulu, HI, USA, July 6-11, pp. 368\u2013375. IEEE (2008)","DOI":"10.1109\/SERVICES-1.2008.77"},{"key":"1_CR96","unstructured":"Wang, H., Chan, W.K., Tse, T.H.: On the construction of context-aware test suites. Technical Report TR-2010-01, Hong Kong University (2010)"},{"issue":"14","key":"1_CR97","doi-asserted-by":"publisher","first-page":"841","DOI":"10.1016\/S0950-5849(01)00190-2","volume":"43","author":"J. Wegener","year":"2001","unstructured":"Wegener, J., Baresel, A., Sthamer, H.: Evolutionary test environment for automatic structural testing. Information and Software Technology\u00a043(14), 841\u2013854 (2001)","journal-title":"Information and Software Technology"},{"key":"1_CR98","doi-asserted-by":"publisher","first-page":"95","DOI":"10.2174\/1874114200802010095","volume":"2","author":"F. Wen","year":"2008","unstructured":"Wen, F., Lin, C.-M.: Multistage Human Resource Allocation for Software Development by Multiobjective Genetic Algorithm. The Open Applied Mathematics Journal\u00a02, 95\u2013103 (2008)","journal-title":"The Open Applied Mathematics Journal"},{"key":"1_CR99","doi-asserted-by":"crossref","unstructured":"White, D.R., Clark, J.A., Jacob, J., Poulding, S.M.: Searching for Resource-Efficient Programs: Low-Power Pseudorandom Number Generators. In: Keijzer, M. (ed.) Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO 2008), Atlanta, GA, USA, July 12-16, pp. 1775\u20131782. ACM (2008)","DOI":"10.1145\/1389095.1389437"},{"key":"1_CR100","unstructured":"Whitley, D.: The GENITOR algorithm and selection pressure: Why rank-based allocation of reproductive trials is best. In: Schaffer, J.D. (ed.) Proceedings of the International Conference on Genetic Algorithms, San Mateo, California, USA, pp. 116\u2013121. Morgan Kaufmann (1989)"},{"key":"1_CR101","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00175354","volume":"4","author":"D. Whitley","year":"1994","unstructured":"Whitley, D.: A genetic algorithm tutorial. Statistics and Computing\u00a04, 65\u201385 (1994)","journal-title":"Statistics and Computing"},{"issue":"14","key":"1_CR102","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1016\/S0950-5849(01)00188-4","volume":"43","author":"D. Whitley","year":"2001","unstructured":"Whitley, D.: An overview of evolutionary algorithms: practical issues and common pitfalls. Information and Software Technology\u00a043(14), 817\u2013831 (2001)","journal-title":"Information and Software Technology"},{"key":"1_CR103","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1145\/1389095.1389208","volume-title":"Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO 2008)","author":"D. Whitley","year":"2008","unstructured":"Whitley, D., Sutton, A.M., Howe, A.E.: Understanding elementary landscapes. In: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation (GECCO 2008), pp. 585\u2013592. ACM, New York (2008)"},{"key":"1_CR104","unstructured":"Williams, K.P.: Evolutionary Algorithms for Automatic Parallelization. PhD thesis, University of Reading, UK, Department of Computer Science (September 1998)"},{"key":"1_CR105","doi-asserted-by":"crossref","unstructured":"Yoo, S.: A novel mask-coding representation for set cover problems with applications in test suite minimisation. In: Proceedings of the 2nd International Symposium on Search-Based Software Engineering, SSBSE 2010 (2010)","DOI":"10.1109\/SSBSE.2010.12"},{"key":"1_CR106","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/1273463.1273483","volume-title":"International Symposium on Software Testing and Analysis (ISSTA 2007)","author":"S. Yoo","year":"2007","unstructured":"Yoo, S., Harman, M.: Pareto efficient multi-objective test case selection. In: International Symposium on Software Testing and Analysis (ISSTA 2007), pp. 140\u2013150. Association for Computer Machinery, London (2007)"},{"issue":"4","key":"1_CR107","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1016\/j.jss.2009.11.706","volume":"83","author":"S. Yoo","year":"2010","unstructured":"Yoo, S., Harman, M.: Using hybrid algorithm for pareto efficient multi-objective test suite minimisation. Journal of Systems and Software\u00a083(4), 689\u2013701 (2010)","journal-title":"Journal of Systems and Software"},{"key":"1_CR108","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M.: Regression testing minimisation, selection and prioritisation: A survey. Journal of Software Testing, Verification and Reliability (to appear, 2011)","DOI":"10.1002\/stvr.430"},{"key":"1_CR109","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M., Tonella, P., Susi, A.: Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. In: ACM International Conference on Software Testing and Analysis (ISSTA 2009), Chicago, Illinois, USA, July 19-23, pp. 201\u2013212 (2009)","DOI":"10.1145\/1572272.1572296"},{"key":"1_CR110","doi-asserted-by":"crossref","unstructured":"Yoo, S., Harman, M., Ur, S.: Highly scalable multi-objective test suite minimisation using graphics card. Rn\/11\/07, Department of Computer Science, University College London (January 2011)","DOI":"10.1007\/978-3-642-23716-4_20"},{"key":"1_CR111","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-540-69062-7_8","volume-title":"Requirements Engineering: Foundation for Software Quality","author":"Y.-Y. Zhang","year":"2008","unstructured":"Zhang, Y.-Y., Finkelstein, A., Harman, M.: Search Based Requirements Optimisation: Existing Work and Challenges. In: Rolland, C. (ed.) REFSQ 2008. LNCS, vol.\u00a05025, pp. 88\u201394. Springer, Heidelberg (2008)"},{"key":"1_CR112","doi-asserted-by":"crossref","unstructured":"Zhang, Y., Harman, M., Finkelstein, A., Mansouri, A.: Comparing the performance of metaheuristics for the analysis of multi-stakeholder tradeoffs in requirements optimisation. Journal of Information and Software Technology (to appear, 2011)","DOI":"10.1016\/j.infsof.2011.02.001"},{"key":"1_CR113","first-page":"1129","volume-title":"GECCO 2007: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation","author":"Y. Zhang","year":"2007","unstructured":"Zhang, Y., Harman, M., Mansouri, A.: The multi-objective next release problem. In: GECCO 2007: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, pp. 1129\u20131137. ACM Press, London (2007)"}],"container-title":["Lecture Notes in Computer Science","Empirical Software Engineering and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25231-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:41:56Z","timestamp":1742434916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25231-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642252303","9783642252310"],"references-count":113,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25231-0_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}