Software engineering meets evolutionary computation

Computer

Volumn 44, Issue 10, 2011, Pages 31-39

  Harman, Mark ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Evolutionary computation; SBSE; Software engineering

Indexed keywords

EID: 80053968448     PISSN: 00189162     EISSN: None     Source Type: Trade Journal    
DOI: 10.1109/MC.2011.263     Document Type: Article

References (71)

1. M.M. Lehman, "On Understanding Laws, Evolution and Conservation in the Large Program Life Cycle," J. Systems and Software, vol. 1, no. 3, 1980, pp. 213-221.
2. A.J. Bagnall, V.J. Rayward-Smith, and I.M. Whittley, "The Next Release Problem," Information and Software Technology, Dec. 2001, pp. 883-890.
3. Y. Zhang, A. Finkelstein, and M. Harman, "Search-Based Requirements Optimisation: Existing Work and Challenges," Proc. Int'l Working Conf. Requirements Eng.: Foundation for Software Quality (REFSQ 08), LNCS 5025, Springer, 2008, pp. 88-94.
4. W. Afzal and R. Torkar, "On the Application of Genetic Programming for Software Engineering Predictive Modeling: A Systematic Review," Expert Systems Applications, vol. 38, no. 9, 2011, pp. 11984-11997.
5. O. Räihä, "A Survey on Search-Based Software Design," Computer Science Rev., vol. 4, no. 4, 2010, pp. 203-249.
6. W. Afzal, R. Torkar, and R. Feldt, "A Systematic Review of Search-Based Testing for Non-Functional System Properties," Information and Software Technology, vol. 51, no. 6, 2009, pp. 957-976.
7. S. Ali et al., "A Systematic Review of the Application and Empirical Investigation of Search-Based Test-Case Generation," IEEE Trans. Software Eng., vol. 36, no. 6, 2010, pp. 742-762.
8. M. Harman, "Automated Test Data Generation Using Search-Based Software Engineering," Proc. 2nd Int'l Workshop Automation of Software Test (AST 07), IEEE CS Press, 2007, p. 2.
9. P. McMinn, "Search-Based Software Test Data Generation: A Survey," Software Testing, Verification and Reliability, vol. 14, no. 2, 2004, pp. 105-156.
10. M. O'Keeffe and M. Ó Cinnéide, "Search-Based Software Maintenance," Proc. Conf. Software Maintenance and Reengineering (CSMR 06), IEEE CS Press, 2006, pp. 249-260.
11. M. Harman and L. Tratt, "Pareto Optimal Search-Based Refactoring at the Design Level," Proc. 9th Ann. Conf. Genetic and Evolutionary Computation (GECCO 07), ACM Press, 2007, pp. 1106-1113.
12. M. Harman, A. Mansouri, and Y. Zhang, Search-Based Software Engineering: A Comprehensive Analysis and Review of Trends, Techniques, and Applications, tech. report TR-09-03, Dept. of Computer Science, King's College London, 2009.
13. J. Wegener, A. Baresel, and H. Sthamer, "Evolutionary Test Environment for Automatic Structural Testing," Information and Software Technology, vol. 43, no. 14, 2001, pp. 841-854.
14. J. Wegener and O. Bühler, "Evaluation of Different Fitness Functions for the Evolutionary Testing of an Autonomous Parking System," Proc. Genetic and Evolutionary Computation Conf. (GECCO 2004), LNCS 3103, Springer, 2004, pp. 1400-1412.
15. J. Wegener and F. Mueller, "A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints," Real-Time Systems, vol. 21, no. 3, 2001, pp. 241-268.
16. C. Cadar et al., "Symbolic Execution for Software Testing in Practice: Preliminary Assessment," Proc. 33rd Int'l Conf. Software Eng. (ICSE11), ACM Press, 2011, pp. 1066-1071.
17. K. Lakhotia et al., "FloPSy-Search-Based Floating Point Constraint Solving for Symbolic Execution," Proc. 22nd IFIP Int'l Conf. Testing Software and Systems (ICTSS 10), LNCS 6435, Springer, 2010, pp. 142-157.
18. S. Yoo, R. Nilsson, and M. Harman, "Faster Fault Finding at Google Using Multiobjective Regression Test Optimsation," Proc. 8th European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng. (ESEC/FSE 11), ACM Press, Sept. 2011; http://2011.esec-fse.org/industrial-track.
19. S.L. Cornford et al., "Optimizing Spacecraft Design-Optimization Engine Development: Progress and Plans," Proc. IEEE Aerospace Conf. (AeroConf 03), IEEE Press, 2003, pp. 3681-3690.
20. P. Baker et al., "Search-Based Approaches to Component Selection and Prioritization for the Next Release Problem," Proc. 22nd Int'l Conf. Software Maintenance (ICSM 06), IEEE Press, 2006, pp. 176-185.
21. Y. Zhang et al., "Today/Future Importance Analysis," Proc. ACM Genetic and Evolutionary Computation Conf. (GECCO 10), ACM Press, 2010, pp. 1357-1364.
22. W. Afzal et al., "Search-Based Prediction of Fault-Slip-Through in Large Software Projects," Proc. 2nd Int'l Symp. Search-Based Software Eng. (SSBSE 10), IEEE CS Press, 2010, pp. 79-88.
23. A.M. Turing, "Computing Machinery and Intelligence," Mind, Jan. 1950, pp. 433-460.
24. J.H. Holland, Adaption in Natural and Artificial Systems, MIT Press, 1975.
25. D.E. Goldberg, Genetic Algorithms in Search, Optimization & Machine Learning, Addison-Wesley, 1989.
26. M. Harman, "Why the Virtual Nature of Software Makes It Ideal for Search-Based Optimization," Proc. 13th Int'l Conf. Fundamental Approaches to Software Eng. (FASE 10), IEEE CS Press, 2010, pp. 1-12.
27. J. Clark et al., "Reformulating Software Engineering as a Search Problem," IEE Proceedings-Software, vol. 150, no. 3, 2003, pp. 161-175.
28. H.-P. Schwefel and T. Bäck, "Artificial Evolution: How and Why?" Genetic Algorithms and Evolution Strategy in Engineering and Computer Science, D. Quagliarella et al., eds., John Wiley & Sons, 1998, pp. 1-19.
29. E. Alba and F. Chicano, "Observations in Using Parallel and Sequential Evolutionary Algorithms for Automatic Software Testing," Computers & Operations Research, Oct. 2008, pp. 3161-3183.
30. J.R. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection, MIT Press, 1992.
31. S. Xanthakis et al., "Application of Genetic Algorithms to Software Testing," Proc. 5th Int'l Conf Software Eng. (ICSE 92), IEEE CS Press, 1992, pp. 625-636.
32. C.K. Chang et al., "SPMNet: A Formal Methodology for Software Management," Proc. 18th Ann. Int'l Computer Software and Applications Conf. (COMPSAC 94), IEEE CS Press, 1994, p. 57.
33. C.K. Chang, "Changing Face of Software Engineering," IEEE Software, vol. 11, no. 1, 1994, pp. 4-5.
34. M. Harman and B.F. Jones, "Search-Based Software Engineering," Information and Software Technology, Dec. 2001, pp. 833-839.
35. F.G. Freitas and J.T. Souza, "Ten Years of Search-Based Software Engineering: A Bibliometric Analysis," Proc. 3rd Int'l Symp. Search-Based Software Eng. (SSBSE 11), Sept. 2011; www.springerlink.com/content/ q2tr783534pj4444.
36. A. Arcuri, "It Does Matter How You Normalise the Branch Distance in Search-Based Software Testing," Proc. Int'l Conf. Software Testing (ICST 10), IEEE CS Press, 2010, pp. 205-214.
37. M. Harman and P. McMinn, "A Theoretical and Empirical Study of Search-Based Testing: Local, Global and Hybrid Search," IEEE Trans. Software Eng., vol. 36, no. 2, 2010, pp. 226-247.
38. A. Baresel, H. Sthamer, and J. Wegener, "Applying Evolutionary Testing to Search for Critical Defects," Proc. Conf. Genetic and Evolutionary Computation (GECCO 04), LNCS 3103, Springer, 2004, pp. 1427-1428.
39. C. Del Grosso et al., "Improving Network Applications Security: A New Heuristic to Generate Stress Testing Data," Proc. Conf. Genetic and Evolutionary Computation (GECCO 05), ACM Press, 2005, pp. 1037-1043.
40. A.C. Schultz, J.J. Grefenstette, and K.A. De Jong, "Test and Evaluation by Genetic Algorithms," IEEE Expert (also IEEE Intelligent Systems and Their Applications), vol. 8, no. 5, 1993, pp. 9-14.
41. L.C. Briand, Y. Labiche, and M. Shousha, "Stress Testing Real-Time Systems with Genetic Algorithms," Proc. Conf. Genetic and Evolutionary Computation (GECCO 05), ACM Press, 2005, pp. 1021-1028.
42. L.C. Briand, J. Feng, and Y. Labiche, "Using Genetic Algorithms and Coupling Measures to Devise Optimal Integration Test Orders," Proc. 14th Int'l Conf. Software Eng. and Knowledge Eng. (SEKE 02), ACM Press, 2002, pp. 43-50.
43. N. Alshahwan and M. Harman, "Automated Web Application Testing Using Search-Based Software Engineering," Proc. IEEE/ACM Int'l Conf. Automated Software Eng. (ASE 11), Nov. 2011, to appear.
44. M. Di Penta et al., "Search-Based Testing of Service Level Agreements," Proc. 9th Ann. Conf. Genetic and Evolutionary Computation (GECCO 07), ACM Press, 2007, pp. 1090-1097.
45. J.J. Dolado and L. Fernandez, "Genetic Programming, Neural Networks and Linear Regression in Software Project Estimation," Proc. Int'l Conf. Software Process Improvement, Research, Education and Training (INSPIRE III), British Computer Soc., 1998, pp. 157-171.
46. W.B. Langdon, M. Harman, and Y. Jia, "Efficient Multiobjective Higher Order Mutation Testing with Genetic Programming," J. Systems and Software, vol. 83, no. 12, 2011, pp. 2416-2430.
47. A. Arcuri and X. Yao, "A Novel Co-evolutionary Approach to Automatic Software Bug Fixing," Proc. IEEE Congress on Evolutionary Computation (CEC 08), IEEE CS Press, 2008, pp. 162-168.
48. W. Weimer et al., "Automatically Finding Patches Using Genetic Programming," Proc. Int'l Conf. Software Eng. (ICSE 09), IEEE CS Press, 2009, pp. 364-374.
49. K. Adamopoulos, M. Harman, and R.M. Hierons, "How to Overcome the Equivalent Mutant Problem and Achieve Tailored Selective Mutation Using Co-Evolution," Proc. Conf. Genetic and Evolutionary Computation (GECCO 04), LNCS 3103, Springer, 2004, pp. 1338-1349.
50. J. Ren, M. Harman, and M. Di Penta, "Cooperative Co-evolutionary Optimization on Software Project Staff Assignments and Job Scheduling," Proc. 3rd Int'l Symp. Search-Based Software Eng. (SSBSE 11), Sept. 2011; www. springerlink.com/content/a611526179255p80.
51. F. Asadi, G. Antoniol, and Y.-G. Guéhéneuc, "Concept Location with Genetic Algorithms: A Comparison of Four Distributed Architectures," Proc. 2nd Int'l Symp. Search-Based Software Eng. (SSBSE 10), IEEE CS Press, 2010, pp. 153-162.
52. K. Mahdavi, M. Harman, and R.M. Hierons, "A Multiple Hill Climbing Approach to Software Module Clustering," Proc. IEEE Int'l Conf. Software Maintenance (ICSM 03), IEEE CS Press, 2003, pp. 315-324.
53. B.S. Mitchell, M. Traverso, and S. Mancoridis, "An Architecture for Distributing the Computation of Software Clustering Algorithms," Proc. Working Conf. Software Architecture (WICSA 01), IEEE CS Press, 2001, pp. 181-190.
54. S. Yoo, M. Harman, and S. Ur, "Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Cards," Proc. 3rd Int'l Symp Search-Based Software Eng. (SSBSE 11), Sept. 2011; www.springerlink.com/content/ 5381g43g1pp41811.
55. P. Funes et al., "Interactive Multiparticipant Task Allocation," Proc. IEEE Congress on Evolutionary Computation (CEC 04), IEEE Press, 2004, pp. 1699-1705.
56. C.L. Simons, I.C. Parmee, and R. Gwynllyw, "Interactive, Evolutionary Search in Upstream Object-Oriented Class Design," IEEE Trans. Software Eng., vol. 36, no. 6, 2010, pp. 798-816.
57. P.K. Lehre and X. Yao, "Runtime Analysis of Search Heuristics on Software Engineering Problems," Frontiers of Computer Science in China, vol. 3, no. 1, 2009, pp. 64-72.
58. E.K. Burke et al., "A Graph-Based Hyper-Heuristic for Educational Timetabling Problems," European J. Operational Research, vol. 176, no. 1, 2007, pp.177-192.
59. M. Harman et al., "Optimizing for the Number of Tests Generated in Search-Based Test Data Generation with an Application to the Oracle Cost Problem," Proc. 3rd Int'l Workshop Search-Based Software Testing (SBST 10), IEEE CS Press, 2010, pp. 182-191.
60. G. Fraser and A. Zeller, "Mutation-Driven Generation of Unit Tests and Oracles," Proc. 19th Int'l Symp. Software Testing and Analysis (ISSTA 10), ACM Press, 2010, pp. 147-158.
61. H. Wada et al., "Evolutionary Deployment Optimization for Service-Oriented Clouds," Software Practice and Experience, vol. 41, no. 5, 2011, pp. 469-493.
62. P. Massey, J.A. Clark, and S. Stepney, "Human-Competitive Evolution of Quantum Computing Artefacts by Genetic Programming," Evolutionary Computation, vol. 14, no. 1, 2006, pp. 21-40.
63. R.J. Hall, "A Quantum Algorithm for Software Engineering Search," Proc. Automated Software Eng. (ASE 2009), IEEE CS Press, 2009, pp. 40-51.
64. Y. Jia and M. Harman, "An Analysis and Survey of the Development of Mutation Testing," IEEE Trans. Software Eng., 2011, doi:10.1109/TSE.2010. 62.
65. S. Yoo and M. Harman, "Regression Testing Minimisation, Selection and Prioritisation: A Survey," J. Software Testing, Verification and Reliability, 2011, doi:10.1002/stvr.430.
66. M. Harman and J. Clark, "Metrics Are Fitness Functions Too," Proc. 10th Int'l Software Metrics Symp. (Metrics 04), IEEE CS Press, 2004, pp. 58-69.
67. M. Harman, "Search-Based Software Engineering for Program Comprehension," Proc. 15th Int'l Conf. Program Comprehension (ICPC 07), IEEE CS Press, 2007, pp. 3-13.
68. M. Harman, "The Relationship Between Search-Based Software Engineering and Predictive Modeling," Proc. 6th Int'l Conf. Predictive Models in Software Eng. (PROMISE 10), 2010; www.cs.ucl.ac.uk/staff/mharman/ promise-keynote. pdf.
69. M. Harman, "Open Problems in Testability Transformation," keynote, Proc. 1st Int'l Workshop Search-Based Testing (SBT 08), 2008; http://ieeeexplore.ieee.org/xpls/abs-all.jsp?arnumber=4567008.
70. M. Harman et al., "Search-Based Software Engineering: Techniques, Taxonomy, Tutorial," Empirical Software Engineering and Verification: LASER 2009-2010, B. Meyer and M. Nordio, eds., Springer, 2012.
71. M. Harman, "The Current State and Future of Search-Based Software Engineering," Proc. Future of Software Eng. (FOSE 07), IEEE CS Press, 2007, pp. 342-357.