Cloud engineering is Search Based Software Engineering too

Journal of Systems and Software

Volumn 86, Issue 9, 2013, Pages 2225-2241

  Harman, Mark ^a   Lakhotia, Kiran ^a   Singer, Jeremy ^b   White, David R ^b   Yoo, Shin ^a  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

Cloud computing; Search Based Software Engineering (SBSE)

Indexed keywords

BUSINESS OBJECTIVES; CLOUD ENGINEERINGS; CLOUD PLATFORMS; DYNAMIC BALANCING; ENGINEERING CHALLENGES; OPTIMISATIONS; SEARCH BASED SOFTWARE ENGINEERING (SBSE); SEARCH-BASED SOFTWARE ENGINEERING;

CLOUD COMPUTING; OPTIMIZATION;

SOFTWARE ENGINEERING;

EID: 84881480406     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2012.10.027     Document Type: Article

References (109)

1. D.J. Abadi Data management in the cloud: limitations and opportunities Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 32 2009 3 12
2. W. Afzal, and R. Torkar On the application of genetic programming for software engineering predictive modeling: a systematic review Expert Systems Applications 38 2011 11984 11997
3. W. Afzal, R. Torkar, and R. Feldt A systematic review of search-based testing for non-functional system properties Information and Software Technology 51 2009 957 976
4. W. Afzal, R. Torkar, R. Feldt, and G. Wikstrand Search-based prediction of fault-slip-through in large software projects Second International Symposium on Search Based Software Engineering (SSBSE 2010) 2010
5. S. Ali, L.C. Briand, H. Hemmati, and R.K. Panesar-Walawege A systematic review of the application and empirical investigation of search-based test-case generation IEEE Transactions on Software Engineering 36 2010 742 762
6. N. Alshahwan, and M. Harman Automated web application testing using search based software engineering 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) 2011
7. Amazon, 2012. Amazon EC2 Spot Instances. http://aws.amazon.com/ec2/spot- instances/ (accessed on 12.06.12).
8. A. Arcuri, and X. Yao A novel co-evolutionary approach to automatic software bug fixing Proceedings of the IEEE Congress on Evolutionary Computation (CEC '08) 2008
9. M. Armbrust, A. Fox, R. Griffith, A.D. Joseph, R. Katz, A. Konwinski, G. Lee, D. Patterson, A. Rabkin, I. Stoica, and M. Zaharia A view of cloud computing Communications of the ACM 53 2010 50 58
10. Armbrust, M.; Fox, A.; Griffith, R.; Joseph, A.D.; Katz, R.H.; Konwinski, A.; Lee, G.; Patterson, D.A.; Rabkin, A.; Zaharia, M.; 2009. Above the clouds: a Berkeley view of cloud computing. Technical Report UCB/EECS-2009-28. EECS Department, University of California, Berkeley.
11. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield Xen and the art of virtualization SIGOPS Operating Systems Review 37 2003 164 177
12. L.A. Barroso, and U. Hölzle The datacenter as a computer: An introduction to the design of warehouse-scale machines Synthesis Lectures on Computer Architecture 4.1 2009 1 108
13. L. Beckman, A. Haraldson, O. Oskarsson, and E. Sandewall A partial evaluator, and its use as a programming tool Artificial Intelligence 7 1976 319 357
14. A. Beloglazov, and R. Buyya Energy efficient allocation of virtual machines in cloud data centers IEEE/ACM International Conference on Cluster Cloud and Grid Computing 2010
15. O.A. Ben-Yehuda, M. Ben-Yehuda, A. Schuster, and D. Tsafrir Deconstructing Amazon EC2 spot instance pricing IEEE 3rd International Conference on Cloud Computing Technology and Science (CloudCom 2011) 2011
16. D. Bjorner, N.D. Jones, and A.P. Ershov Partial Evaluation and Mixed Computation: Proceedings of the IFIP TC2 Workshop, Gammel Avernaes, Denmark, 18-24 Oct.; 1987 1988 Elsevier Science Inc. New York, NY, USA
17. C. Cadar, P. Godefroid, S. Khurshid, C.S. Pǎsǎreanu, K. Sen, N. Tillmann, and W. Visser Symbolic execution for software testing in practice: preliminary assessment 33rd International Conference on Software Engineering (ICSE'11) 2011
18. R.N. Calheiros, R. Ranjan, A. Beloglazov, C.A.F. De Rose, and R. Buyya CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms Software-Practice & Experience 41 2011 23 50
19. A. Carzaniga, A. Gorla, and M. Pezzé Healing web applications through automatic workarounds International Journal on Software Tools for Technology Transfer 10 2008 493 502
20. F. Chang, J. Dean, S. Ghemawat, W.C. Hsieh, D.A. Wallach, M. Burrows, T. Chandra, A. Fikes, and R.E. Gruber Bigtable: a distributed storage system for structured data ACM Transactions on Computer Systems 4 1-4 2008 26
21. B. Cheng, and J. Atlee From state of the art to the future of requirements engineering Future of Software Engineering 2007 2007
22. D. Cliff Remotely hosted services and 'Cloud Computing' British Educational Communications and Technology Agency (BECTA) 2010
23. K.J. Cohen, S.F. Maier, R.A. Schwartz, and D.K. Whitcomb A simulation model of stock exchange trading Simulation 41 1983 181 191
24. K.D. Cooper, P.J. Schielke, and D. Subramanian Optimizing for reduced code space using genetic algorithms Proceedings of the ACM Sigplan 1999 Workshop on Languages, Compilers and Tools for Embedded Systems (LCTES'99) 1999
25. S.L. Cornford, M.S. Feather, J.R. Dunphy, J. Salcedo, and T. Menzies Optimizing spacecraft design - optimization engine development: progress and plans Proceedings of the IEEE Aerospace Conference 2003
26. V. Darley, and A.V. Outkin Nasdaq Market Simulation: Insights on a Major Market from the Science of Complex Adaptive Systems 2007 World Scientific Publishing Company
27. R.A. De Millo, R.J. Lipton, and A.J. Perlis Social processes and proofs of theorems and programs Communications of the ACM 22 1979 271 280
28. G. DeCandia, D. Hastorun, M. Jampani, G. Kakulapati, A. Lakshman, A. Pilchin, S. Sivasubramanian, P. Vosshall, and W. Vogels Dynamo: Amazon's highly available key-value store Proceedings of Twenty-first ACM SIGOPS Symposium on Operating Systems Principles 2007
29. E.W. Dijkstra On a political pamphlet from the middle ages (a response to the paper 'Social Processes and Proofs of Theorems and Programs' by DeMillo, Lipton, and Perlis) ACM SIGSOFT, Software Engineering Notes 3 1978 14 17
30. J.J. Durillo, Y. Zhang, E. Alba, and A.J. Nebro A study of the multi-objective next release problem Proceedings of the 1st International Symposium on Search Based Software Engineering (SSBSE '09) 2009
31. P. Emberson, and I. Bate Stressing search with scenarios for flexible solutions to real-time task allocation problems IEEE Transactions on Software Engineering 36 2010 704 718
32. X. Fan, W. Weber, and L.A. Barroso Power provisioning for a warehouse-sized computer SIGARCH Computer Architecture News 35 2007 13 23
33. D. Fatiregun, M. Harman, and R. Hierons Search-based amorphous slicing 12th International Working Conference on Reverse Engineering (WCRE 05) 2005
34. S. Forrest, T. Nguyen, W. Weimer, and C. Le Goues A genetic programming approach to automated software repair Proceedings of the 11th Annual Conference on Genetic and Evolutionary Computation 2009 947 954
35. G. Fraser, and A. Arcuri EvoSuite: automatic test suite generation for object-oriented software 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '11) 2011
36. F.G. Freitas, and J.T. Souza Ten years of search based software engineering: a bibliometric analysis 3rd International Symposium on Search based Software Engineering (SSBSE 2011) 2011
37. Google, Inc.; 2012. Traces of Google Workloads. http://code.google.com/p/ googleclusterdata/ (accessed on 12.06.12).
38. P. Guo, and D. Engler CDE: using system call interposition to automatically create portable software packages Proceedings of the USENIX Annual Technical Conference 2011 247 252
39. M. Harman Automated test data generation using search based software engineering 2nd International Workshop on Automation of Software Test (AST 07) 2007
40. M. Harman Search based software engineering for program comprehension 15th International Conference on Program Comprehension (ICPC 07) 2007
41. M. Harman The current state and future of search based software engineering Future of Software Engineering 2007 2007
42. M. Harman Open problems in testability transformation 1st International Workshop on Search Based Testing (SBT 2008) 2008
43. M. Harman The relationship between search based software engineering and predictive modeling 6th International Conference on Predictive Models in Software Engineering 2010
44. M. Harman Why source code analysis and manipulation will always be important 10th IEEE International Working Conference on Source Code Analysis and Manipulation 2010
45. M. Harman, and R.M. Hierons An overview of program slicing Software Focus 2 2001 85 92
46. M. Harman, and B.F. Jones Search based software engineering Information and Software Technology 43 2001 833 839
47. M. Harman, S.A. Mansouri, and Y. Zhang Search-based software engineering: Trends, techniques and applications ACM Computing Surveys 45 2012 11:1 11:61
48. M. Harman, and P. McMinn A theoretical and empirical study of search based testing: local, global and hybrid search IEEE Transactions on Software Engineering 36 2010 226 247
49. M. Harman, P. McMinn, J. Souza, and S. Yoo Search based software engineering: techniques, taxonomy, tutorial Empirical Software Engineering and Verification: LASER 2009-2010 2012 1 59
50. C.A.R. Hoare The engineering of software: a startling contradiction Programming Methodology, A Collection of Articles by Members of IFIP WG2.3 1978
51. C.A.R. Hoare How did software get so reliable without proof? IEEE International Conference on Software Engineering (ICSE'96) 1996
52. C.A.R. Hoare How did software get so reliable without proof? FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe 1996
53. K. Hoste, and L. Eeckhout Cole: compiler optimization level exploration Proceedings of the 6th Annual IEEE/ACM International Symposium on Code Generation and Optimization 2008
54. IDC, 2011. Press Release. http://www.idc.com/getdoc.jsp?containerId= prUS23177411 (accessed on 12.06.12).
55. A. Jacobs The pathologies of big data Communications of the ACM 52 2009 36 44
56. D. Jakobović, and L. Budin Dynamic scheduling with genetic programming EuroGP 2006 2006
57. D. Jakobovic, L. Jelenkovic, and L. Budin Genetic programming heuristics for multiple machine scheduling EuroGP 2007 2007
58. Y. Jia, and M. Harman Milu: a customizable, runtime-optimized higher order mutation testing tool for the full C language 3rd Testing Academia and Industry Conference - Practice and Research Techniques (TAIC PART'08) 2008
59. N.D. Jones An introduction to partial evaluation ACM Computing Surveys 28 1996 480 503
60. V.D. Justafort Performance-aware virtual machine allocation approach in an intercloud environment Electrical & Computer Engineering (CCECE) 2012 2012
61. S. Kirkpatrick, C.D. Gelatt, and M.P. Vecchi Optimization by simulated annealing Science 220 1983 671 680
62. D. Kliazovich, P. Bouvry, Y. Audzevich, and S. Khan GreenCloud: a packet-level simulator of energy-aware cloud computing data centers Global Telecommunications Conference (GLOBECOM 2010) IEEE 2010
63. J.R. Koza Genetic Programming: On the Programming of Computers by Means of Natural Selection 1992 MIT Press Cambridge
64. H.A. Lagar-cavilla, J.A. Whitney, A. Scannell, P. Patchin, S.M. Rumble, E.D. Lara, M. Brudno, and M. Satyanarayanan SnowFlock: rapid virtual machine cloning for cloud computing Proceeding of the EuroSys 2009
65. K. Lakhotia, M. Harman, and H. Gross AUSTIN: a tool for search based software testing for the c language and its evaluation on deployed automotive systems 2nd International Symposium on Search Based Software Engineering (SSBSE 2010) 2010
66. K. Lakhotia, N. Tillmann, M. Harman, and J. de Halleux FloPSy - search-based floating point constraint solving for symbolic execution 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010) 2010
67. W.B. Langdon, and M. Harman Evolving a CUDA kernel from an nVidia template IEEE Congress on Evolutionary Computation 2010
68. C. Le Goues, M. Dewey-Vogt, S. Forrest, and W. Weimer A systematic study of automated program repair: fixing 55 out of 105 bugs for $8 each International Conference on Software Engineering 2012
69. C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer GenProg: a generic method for automatic software repair IEEE Transactions on Software Engineering 38 2012 54 72
70. Y.C. Lee, and A.Y. Zomaya Energy efficient utilization of resources in cloud computing systems Journal of Supercomputing 60 2012 268 280
71. R. Lutz Evolving good hierarchical decompositions of complex systems Journal of Systems Architecture 47 2001 613 634
72. A. Madhavapeddy, R. Mortier, R. Sohan, T. Gazagnaire, S. Hand, T. Deegan, D. McAuley, and J. Crowcroft Turning down the LAMP: software specialisation for the cloud Proceedings of the 2nd USENIX Conference on Hot Topics in Cloud Computing 2010
73. P. McMinn Search-based software test data generation: a survey. software testing Verification and Reliability 14 2004 105 156
74. P. Mell, and T. Grance The NIST definition of cloud computing National Institute of Standards and Technology 53 2009 NIST Special Publication 800-145
75. Microsoft, 2012. Autoscaling Rules Schema Description. http://msdn.microsoft.com/en-us/library/hh680955 (accessed on 12.06.12).
76. A.K. Mishra, J.L. Hellerstein, W. Cirne, and C.R. Das Towards characterizing cloud backend workloads: insights from Google compute clusters SIGMETRICS Performance Evaluation Review 37 2010 34 41
77. B.S. Mitchell, and S. Mancoridis On the automatic modularization of software systems using the bunch tool IEEE Transactions on Software Engineering 32 2006 193 208
78. G. Narzisi, V. Mysore, and B. Mishra Multi-objective evolutionary optimization of agent-based models: an application to emergency response planning Computational Intelligence 2006 224 230
79. Netflix Tech Blog, 2008. 5 Lessons We've Learned Using AWS. http://techblog.netflix.com/2010/12/5-lessons-weve-learned-using-aws.html (accessed on 12.06.12).
80. D. Nurmi, R. Wolski, C. Grzegorczyk, G. Obertelli, S. Soman, L. Youseff, and D. Zagorodnov The eucalyptus open-source cloud-computing system Cluster Computing and the Grid 2009
81. Panayi, E.; Harman, M.; Wetherilt, A. Agent-based modelling of stock markets using existing order book data. In: Proceedings of 13th International Workshop on Multi-Agent-Based Simulation (MABS), in press.
82. M. Papazoglou, and W.J. van den Heuvel Service oriented architectures: approaches, technologies and research issues The VLDB Journal 16 2007 389 415
83. O. Räihä A survey on search-based software design Computer Science Review 4 2010 203 249
84. M. Rappa The utility business model and the future of computing services IBM Systems Journal 43 2004 32 42
85. Red Hat Enterprise, 2007. Oracle Tuning Guide. http://docs.redhat.com/ docs/en-US/Red-hat-Enterprise-Linux/5/html/Oracle-Tuning-Guide/ RHELTuningandOptimizationforOracleV11.pdf (accessed on 12.06.12).
86. G. Reese Cloud Application Architectures 2009 O'Reilly
87. A. Rogers, and P. von Tessin Multi-objective calibration for agent-based models 5th Workshop on Agent-based Simulation 2004
88. C. Ryan Automatic Re-engineering of Software Using Genetic Programming 2000 Kluwer Academic Publishers
89. J. Silva A vocabulary of program slicing-based techniques ACM Computing Surveys 44 2012 12:1 12:41
90. P. Sitthi-Amorn, N. Modly, W. Weimer, and J. Lawrence Genetic programming for shader simplification ACM Transactions on Graphics 30 2011 152:1-152:12
91. B. Sotomayor, R.S. Montero, I.M. Llorente, and I. Foster Virtual infrastructure management in private and hybrid clouds IEEE Internet Computing 13 2009 14 22
92. S. Srikantaiah, A. Kansal, and F. Zhao Energy aware consolidation for cloud computing HotPower'08 2008
93. M. Stillwell, F. Vivien, and H. Casanova Virtual machine resource allocation for service hosting on heterogeneous distributed platforms Parallel Distributed Processing Symposium (IPDPS) 2012 2012
94. F. Viegas, M. Wattenberg, and J. Feinberg Participatory visualization with wordle IEEE Transactions on Visualization and Computer Graphics 15 2009 1137 1144
95. K.V. Vishwanath, and N. Nagappan Characterizing cloud computing hardware reliability Proceedings of the 1st ACM symposium on Cloud Computing 2010
96. W. Voorsluys, J. Broberg, S. Venugopal, and R. Buyya Cost of virtual machine live migration in clouds: a performance evaluation Proceedings of the 1st International Conference on Cloud Computing 2009
97. J. Wegener, and O. Bühler Evaluation of different fitness functions for the evolutionary testing of an autonomous parking system Genetic and Evolutionary Computation Conference (GECCO 2004) 2004
98. W. Weimer, T.V. Nguyen, C. Le Goues, and S. Forrest Automatically finding patches using genetic programming International Conference on Software Engineering (ICSE 2009) 2009
99. Weiser, M.; 1979. Program slices: formal, psychological, and practical investigations of an automatic program abstraction method. Ph.D. Thesis. University of Michigan, Ann Arbor, MI.
100. D. White, A. Arcuri, and J. Clark Evolutionary improvement of programs IEEE Transactions on Evolutionary Computation 15 2011 515 538
101. D.R. White, J. Clark, J. Jacob, and S. Poulding Searching for resource-efficient programs: low-power pseudorandom number generators 2008 Genetic and Evolutionary Computation Conference (GECCO 2008) 2008
102. D. Whitley An overview of evolutionary algorithms: practical issues and common pitfalls Information and Software Technology 43 2001 817 831
103. D. Williams, H. Jamjoom, Y. Liu, and H. Weatherspoon Overdriver: handling memory overload in an oversubscribed cloud SIGPLAN Notices 46 2011 205 216
104. Wine, 2012. Windows Compatibility Layer for UNIX. http://www.winehq.org/ (accessed on 12.06.12).
105. 3CIN: non-invasive autonomous and amortised adaptivity code injection. Technical Report RN/12/13. Department of Computer Science, University College London.
106. S. Yoo, R. Nilsson, and M. Harman Faster fault finding at Google using multi-objective regression test optimisation 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE '11) 2011
107. Y. Zhang, A. Finkelstein, and M. Harman Search based requirements optimisation: existing work and challenges International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'08) 2008
108. Zhang, Y.; Harman, M.; Mansouri, A.; 2012. The SBSE Repository: A Repository and Analysis of Authors and Research Articles on Search Based Software Engineering. http://crestweb.cs.ucl.ac.uk/resources/sbse-repository/.
109. Y. Zhang, M. Harman, and S.A. Mansouri The multi-objective next release problem GECCO '07: Proceedings of the 2007 Genetic and Evolutionary Computation Conference 2007