{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,28]],"date-time":"2026-06-28T04:54:42Z","timestamp":1782622482728,"version":"3.54.5"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642120282","type":"print"},{"value":"9783642120299","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_1","type":"book-chapter","created":{"date-parts":[[2010,3,7]],"date-time":"2010-03-07T19:56:48Z","timestamp":1267991808000},"page":"1-12","source":"Crossref","is-referenced-by-count":27,"title":["Why the Virtual Nature of Software Makes It Ideal for Search Based Optimization"],"prefix":"10.1007","author":[{"given":"Mark","family":"Harman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","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 (to appear, 2010)","DOI":"10.1109\/TSE.2009.52"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11751113_5","volume-title":"Rapid Integration of Software Engineering Techniques","author":"E. Alba","year":"2006","unstructured":"Alba, E., Chicano, F.: Testing with Evolutionary Strategies. In: Guelfi, N., Savidis, A. (eds.) RISE 2005. LNCS, vol.\u00a03943, pp. 50\u201365. Springer, Heidelberg (2006)"},{"issue":"11","key":"1_CR3","doi-asserted-by":"publisher","first-page":"2380","DOI":"10.1016\/j.ins.2006.12.020","volume":"177","author":"E. Alba","year":"2007","unstructured":"Alba, E., Chicano, F.: Software Project Management with GAs. Information Sciences\u00a0177(11), 2380\u20132401 (2007)","journal-title":"Information Sciences"},{"issue":"10","key":"1_CR4","doi-asserted-by":"publisher","first-page":"3161","DOI":"10.1016\/j.cor.2007.01.016","volume":"35","author":"E. Alba","year":"2008","unstructured":"Alba, E., Chicano, F.: Observations in using Parallel and Sequential Evolutionary Algorithms for Automatic Software Testing. Computers & Operations Research\u00a035(10), 3161\u20133183 (2008)","journal-title":"Computers & Operations Research"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1425","DOI":"10.1007\/978-3-540-24855-2_162","volume-title":"Genetic and Evolutionary Computation \u2013 GECCO 2004","author":"G. Antoniol","year":"2004","unstructured":"Antoniol, G., Di Penta, M., Harman, M.: Search-based Techniques for Optimizing Software Project Resource Allocation. In: Deb, K., et al. (eds.) GECCO 2004. LNCS, vol.\u00a03103, pp. 1425\u20131426. Springer, Heidelberg (2004)"},{"issue":"6","key":"1_CR6","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"},{"issue":"1-2","key":"1_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/s10732-006-5224-6","volume":"12","author":"E. Ram\u00f3n Alvarez-Valdes","year":"2006","unstructured":"Ram\u00f3n Alvarez-Valdes, E., Crespo, J.M.: A Scatter Search Algorithm for Project Scheduling under Partially Renewable Resources. Journal of Heuristics\u00a012(1-2), 95\u2013113 (2006)","journal-title":"Journal of Heuristics"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1109\/CEC.2008.4630793","volume-title":"Proceedings of the IEEE Congress on Evolutionary Computation (CEC 2008)","author":"A. Arcuri","year":"2008","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, Los Alamitos (2008)"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1145\/1068009.1068183","volume-title":"Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 2005)","author":"L.C. Briand","year":"2005","unstructured":"Briand, L.C., Labiche, Y., Shousha, M.: Stress Testing Real-Time Systems with Genetic Algorithms. In: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 2005), Washington, D.C., USA, June 25-29, pp. 1021\u20131028. ACM, New York (2005)"},{"key":"1_CR10","first-page":"1337","volume-title":"Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002)","author":"L. Bottaci","year":"2002","unstructured":"Bottaci, L.: Instrumenting Programs with Flag Variables for Test Data Search by Genetic Algorithms. In: Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002), New York, USA, July 9-13, pp. 1337\u20131342. Morgan Kaufmann Publishers, San Francisco (2002)"},{"issue":"14","key":"1_CR11","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_CR12","first-page":"1329","volume-title":"Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002)","author":"A. Baresel","year":"2002","unstructured":"Baresel, A., Sthamer, H., Schmidt, M.: Fitness Function Design to Improve Evolutionary Structural Testing. In: Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002), New York, USA, July 9-13, pp. 1329\u20131336. Morgan Kaufmann, San Francisco (2002)"},{"issue":"3","key":"1_CR13","first-page":"135","volume":"15","author":"R. Blanco","year":"2007","unstructured":"Blanco, R., Tuya, J., Daz, E., Adenso Daz, B.: A Scatter Search Approach for Automated Branch Coverage in Software Testing. International Journal of Engineering Intelligent Systems (EIS)\u00a015(3), 135\u2013142 (2007)","journal-title":"International Journal of Engineering Intelligent Systems (EIS)"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1111\/j.1467-8667.1996.tb00319.x","volume":"11","author":"P.J. Bentley","year":"1996","unstructured":"Bentley, P.J., Wakefield, J.P.: Generic representation of solid geometry for genetic search. Microcomputers in Civil Engineering\u00a011(3), 153\u2013161 (1996)","journal-title":"Microcomputers in Civil Engineering"},{"key":"1_CR15","first-page":"57","volume-title":"Proceedings of the 18th Annual International Computer Software and Applications Conference (COMPSAC 1994)","author":"C.K. Chang","year":"1994","unstructured":"Chang, C.K., Chao, C., Hsieh, S.-Y., Alsalqan, Y.: SPMNet: a Formal Methodology for Software Management. In: Proceedings of the 18th Annual International Computer Software and Applications Conference (COMPSAC 1994), Taipei, Taiwan, November 9-11, p. 57. IEEE, Los Alamitos (1994)"},{"issue":"3","key":"1_CR16","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_CR17","first-page":"205","volume-title":"Genetic Algorithms and Evolution Strategy in Engineering and Computer Science","author":"O. Cord\u00f3n","year":"1998","unstructured":"Cord\u00f3n, O., Herrera, F., S\u00e1nchez, L.: Evolutionary learning processes for data analysis in electrical engineering applications. In: Quagliarella, D., P\u00e9riaux, J., Poloni, C., Winter, G. (eds.) Genetic Algorithms and Evolution Strategy in Engineering and Computer Science, pp. 205\u2013224. John Wiley and Sons, Chichester (1998)"},{"issue":"1","key":"1_CR18","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"J. Darlington","year":"1977","unstructured":"Darlington, J., Burstall, R.M.: A tranformation system for developing recursive programs. Journal of the ACM\u00a024(1), 44\u201367 (1977)","journal-title":"Journal of the ACM"},{"issue":"10","key":"1_CR19","doi-asserted-by":"publisher","first-page":"3052","DOI":"10.1016\/j.cor.2007.01.009","volume":"35","author":"E. D\u00edaz","year":"2008","unstructured":"D\u00edaz, E., Tuya, J., Blanco, R., Dolado, J.J.: A Tabu Search Algorithm for Structural Software Testing. Computers & Operations Research\u00a035(10), 3052\u20133072 (2008)","journal-title":"Computers & Operations Research"},{"key":"1_CR20","volume-title":"Designing and building parallel programs:Concepts and tools for parallel software","author":"I. Foster","year":"1995","unstructured":"Foster, I.: Designing and building parallel programs:Concepts and tools for parallel software. Addison-Wesley, Reading (1995)"},{"issue":"3","key":"1_CR21","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1049\/ip-sen:20045001","volume":"152","author":"Q. Guo","year":"2005","unstructured":"Guo, Q., Hierons, R.M., Harman, M., Derderian, K.: Constructing Multiple Unique Input\/Output Sequences using Evolutionary Optimisation Techniques. IEE Proceedings - Software\u00a0152(3), 127\u2013140 (2005)","journal-title":"IEE Proceedings - Software"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Harman, M.: Automated test data generation using search based software engineering (keynote). In: 2nd Workshop on Automation of Software Test (AST 2007) at the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, USA (2007)","DOI":"10.1109\/AST.2007.4"},{"key":"1_CR23","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/FOSE.2007.29","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_CR24","doi-asserted-by":"crossref","unstructured":"Harman, M.: Search based software engineering for program comprehension (keynote). In: 15th International Conference on Program Comprehension (ICPC 2007), Banff, Canada (2007)","DOI":"10.1109\/ICPC.2007.35"},{"key":"1_CR25","first-page":"342","volume-title":"Proceedings of International Conference on Software Engineering \/ Future of Software Engineering 2007 (ICSE\/FOSE 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.) Proceedings of International Conference on Software Engineering \/ Future of Software Engineering 2007 (ICSE\/FOSE 2007), Minneapolis, Minnesota, USA, May 20-26, pp. 342\u2013357. IEEE Computer Society, Los Alamitos (2007)"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/METRIC.2004.1357891","volume-title":"Proceedings of the 10th IEEE International Symposium on Software Metrics (METRICS 2004)","author":"M. Harman","year":"2004","unstructured":"Harman, M., Clark, J.A.: Metrics Are Fitness Functions Too. In: Proceedings of the 10th IEEE International Symposium on Software Metrics (METRICS 2004), Chicago, USA, September 11-17, pp. 58\u201369. IEEE Computer Society, Los Alamitos (2004)"},{"issue":"1","key":"1_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/TSE.2004.1265732","volume":"30","author":"M. Harman","year":"2004","unstructured":"Harman, M., Hu, L., Hierons, R.M., Wegener, J., Sthamer, H., Baresel, A., Roper, M.: Testability Transformation. IEEE Transaction on Software Engineering\u00a030(1), 3\u201316 (2004)","journal-title":"IEEE Transaction on Software Engineering"},{"key":"1_CR28","first-page":"1351","volume-title":"Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002)","author":"M. Harman","year":"2002","unstructured":"Harman, M., Hierons, R., Proctor, M.: A New Representation and Crossover Operator for Search-based Optimization of Software Modularization. In: Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002), New York, USA, July 9-13, pp. 1351\u20131358. Morgan Kaufmann Publishers, San Francisco (2002)"},{"issue":"14","key":"1_CR29","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 & Software Technology\u00a043(14), 833\u2013839 (2001)","journal-title":"Information & Software Technology"},{"key":"1_CR30","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_CR31","doi-asserted-by":"publisher","first-page":"1106","DOI":"10.1145\/1276958.1277176","volume-title":"Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO 2007)","author":"M. Harman","year":"2007","unstructured":"Harman, M., Tratt, L.: Pareto Optimal Search Based Refactoring at the Design Level. In: Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO 2007), London, England, July 7-11, pp. 1106\u20131113. ACM, New York (2007)"},{"issue":"2","key":"1_CR32","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1093\/comjnl\/41.2.98","volume":"41","author":"B.F. Jones","year":"1998","unstructured":"Jones, B.F., Eyres, D.E., Sthamer, H.-H.: A Strategy for using Genetic Algorithms to Automate Branch and Fault-based Testing. Computer Journal\u00a041(2), 98\u2013107 (1998)","journal-title":"Computer Journal"},{"key":"1_CR33","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1109\/ISSRE.2005.16","volume-title":"Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)","author":"B. Korel","year":"2005","unstructured":"Korel, B., Harman, M., Chung, S., Apirukvorapinit, P., Gupta, R., Zhang, Q.: Data Dependence Based Testability Transformation in Automated Test Generation. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005), Chicago, Illinios, USA, November 2005, pp. 245\u2013254. IEEE Computer Society, Los Alamitos (2005)"},{"key":"1_CR34","first-page":"1367","volume-title":"Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002)","author":"C. Kirsopp","year":"2002","unstructured":"Kirsopp, C., Shepperd, M., Hart, J.: Search Heuristics, Case-based Reasoning And Software Project Effort Prediction. In: Proceedings of the 2002 Conference on Genetic and Evolutionary Computation (GECCO 2002), New York, July 9-13, pp. 1367\u20131374. Morgan Kaufmann Publishers, San Francisco (2002)"},{"key":"1_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-78671-9_7","volume-title":"Genetic Programming","author":"W.B. Langdon","year":"2008","unstructured":"Langdon, W.B., Banzhaf, W.: A SIMD interpreter for genetic programming on GPU graphics cards. In: O\u2019Neill, M., Vanneschi, L., Gustafson, S., Esparcia Alc\u00e1zar, A.I., De Falco, I., Della Cioppa, A., Tarantino, E. (eds.) EuroGP 2008. LNCS, vol.\u00a04971, pp. 73\u201385. Springer, Heidelberg (2008)"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/ICST.2008.32","volume-title":"Proceedings of the First International Conference on Software Testing, Verfication and Validation (ICST 2008)","author":"R. Lefticaru","year":"2008","unstructured":"Lefticaru, R., Ipate, F.: Functional Search-based Testing from State Machines. In: Proceedings of the First International Conference on Software Testing, Verfication and Validation (ICST 2008), Lillehammer, Norway, April 9-11, pp. 525\u2013528. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"3-4","key":"1_CR37","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1139\/tcsme-1992-0014","volume":"16","author":"J.E. Labossiere","year":"1992","unstructured":"Labossiere, J.E., Turrkan, N.: On the optimization of the tensor polynomial failure theory with a genetic algorithm. Transactions of the Canadian Society for Mechanical Engineering\u00a016(3-4), 251\u2013265 (1992)","journal-title":"Transactions of the Canadian Society for Mechanical Engineering"},{"issue":"2","key":"1_CR38","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_CR39","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1146238.1146241","volume-title":"Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA 2006)","author":"P. McMinn","year":"2006","unstructured":"McMinn, P., Harman, M., Binkley, D., Tonella, P.: The Species per Path Approach to Search-based Test Data Generation. In: Proceedings of the 2006 International Symposium on Software Testing and Analysis (ISSTA 2006), Portland, Maine, USA, July 17-20, pp. 13\u201324. ACM, New York (2006)"},{"issue":"3","key":"1_CR40","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_CR41","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1109\/CSMR.2006.49","volume-title":"Proceedings of the Conference on Software Maintenance and Reengineering (CSMR 2006)","author":"M. O\u2019Keeffe","year":"2006","unstructured":"O\u2019Keeffe, M., \u00d3 Cinn\u00e9ide, M.: Search-based Software Maintenance. In: Proceedings of the Conference on Software Maintenance and Reengineering (CSMR 2006), Bari, Italy, March 22-24, pp. 249\u2013260. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"11","key":"1_CR42","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.1109\/10.469381","volume":"42","author":"R. Poli","year":"1995","unstructured":"Poli, R., Cagnoni, S., Valli, G.: Genetic design of optimum linear and nonlinear QRS detectors. IEEE Transactions on Biomedical Engineering\u00a042(11), 1137\u20131141 (1995)","journal-title":"IEEE Transactions on Biomedical Engineering"},{"key":"1_CR43","unstructured":"R\u00e4ih\u00e4, O.: A Survey on Search-Based Software Design. Technical Report D-2009-1, Department of Computer Sciences University of Tampere (March 2009)"},{"key":"1_CR44","unstructured":"Sagarna, R.: An Optimization Approach for Software Test Data Generation: Applications of Estimation of Distribution Algorithms and Scatter Search. PhD thesis, University of the Basque Country, San Sebastian, Spain (January 2007)"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1145\/1068009.1068186","volume-title":"Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 2005)","author":"O. Seng","year":"2005","unstructured":"Seng, O., Bauer, M., Biehl, M., Pache, G.: Search-based Improvement of Subsystem Decompositions. In: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation (GECCO 2005), Washington, D.C., USA, June 25-29, pp. 1045\u20131051. ACM, New York (2005)"},{"key":"1_CR46","volume-title":"Foundations of software measurement","author":"M.J. Shepperd","year":"1995","unstructured":"Shepperd, M.J.: Foundations of software measurement. Prentice Hall, Englewood Cliffs (1995)"},{"issue":"1","key":"1_CR47","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1111\/j.1467-8640.2007.00321.x","volume":"24","author":"R. Sagarna","year":"2008","unstructured":"Sagarna, R., Lozano, J.A.: Dynamic Search Space Transformations for Software Test Data Generation. Computational Intelligence\u00a024(1), 23\u201361 (2008)","journal-title":"Computational Intelligence"},{"key":"1_CR48","unstructured":"Tracey, N., Clark, J., Mander, K.: The Way Forward for Unifying Dynamic Test-Case Generation: the Optimisation-based Approach. In: Proceedings of the IFIP International Workshop on Dependable Computing and Its Applications (DCIA 1998), Johannesburg, South Africa, January 12-14, pp. 169\u2013180. University of the Witwatersrand (1998)"},{"issue":"14","key":"1_CR49","first-page":"841","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 Special Issue on Software Engineering using Metaheuristic Innovative Algorithms\u00a043(14), 841\u2013854 (2001)","journal-title":"Information and Software Technology Special Issue on Software Engineering using Metaheuristic Innovative Algorithms"},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T.V., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: International Conference on Software Engineerign (ICSE 2009), Vancouver, Canada, pp. 364\u2013374 (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"1_CR51","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1145\/1276958.1277178","volume-title":"Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO 2007)","author":"A. Windisch","year":"2007","unstructured":"Windisch, A., Wappler, S., Wegener, J.: Applying Particle Swarm Optimization to Software Testing. In: Proceedings of the 9th annual Conference on Genetic and Evolutionary Computation (GECCO 2007), London, England, July 7-11, pp. 1121\u20131128. ACM, New York (2007)"},{"key":"1_CR52","unstructured":"Xanthakis, S., Ellis, C., Skourlas, C., Le Gall, A., Katsikas, S., Karapoulios, K.: Application of Genetic Algorithms to Software Testing. In: Proceedings of the 5th International Conference on Software Engineering and Applications, Toulouse, France, December 7-11, pp. 625\u2013636 (1992)"},{"key":"1_CR53","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. Zhang","year":"2008","unstructured":"Zhang, Y., Finkelstein, A., Harman, M.: Search Based Requirements Optimisation: Existing Work & Challenges. In: Paech, B., Rolland, C. (eds.) REFSQ 2008. LNCS, vol.\u00a05025, pp. 88\u201394. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:46:48Z","timestamp":1606168008000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}