ABSTRACT
Optimising programs for non-functional properties such as speed, size, throughput, power consumption and bandwidth can be demanding; pity the poor programmer who is asked to cater for them all at once! We set out an alternate vision for a new kind of software development environment inspired by recent results from Search Based Software Engineering (SBSE). Given an input program that satisfies the functional requirements, the proposed programming environment will automatically generate a set of candidate program implementations, all of which share functionality, but each of which differ in their non-functional trade offs. The software designer navigates this diverse Pareto surface of candidate implementations, gaining insight into the trade offs and selecting solutions for different platforms and environments, thereby stretching beyond the reach of current compiler technologies. Rather than having to focus on the details required to manage complex, inter-related and conflicting, non-functional trade offs, the designer is thus freed to explore, to understand, to control and to decide rather than to construct.
- K. Adamopoulos, M. Harman, and R. M. Hierons. Mutation testing using genetic algorithms: A co-evolution approach. In Genetic and Evolutionary Computation Conference (GECCO 2004), LNCS 3103, pages 1338–1349, Seattle, Washington, USA, June 2004. Springer.Google Scholar
- W. Afzal and R. Torkar. On the application of genetic programming for software engineering predictive modeling: A systematic review. Expert Systems Applications, 38(9):11984–11997, 2011. Google ScholarDigital Library
- W. Afzal, R. Torkar, and R. Feldt. A systematic review of search-based testing for non-functional system properties. Information and Software Technology, 51(6):957–976, 2009. Google ScholarDigital Library
- W. Afzal, R. Torkar, R. Feldt, and G. Wikstrand. Search-based prediction of fault-slip-through in large software projects. In Second International Symposium on Search Based Software Engineering (SSBSE 2010), pages 79–88, Benevento, Italy, 7-9 Sept. 2010. Google ScholarDigital Library
- 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, pages 742–762, 2010. Google ScholarDigital Library
- N. Alshahwan and M. Harman. Automated web application testing using search based software engineering. In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pages 3 – 12, Lawrence, Kansas, USA, 6th - 10th November 2011. Google ScholarDigital Library
- A. Arcuri, D. R. White, J. A. Clark, and X. Yao. Multi-objective improvement of software using co-evolution and smart seeding. In 7th International Conference on Simulated Evolution and Learning (SEAL 2008), pages 61–70, Melbourne, Australia, December 2008. Springer. Google ScholarDigital Library
- A. Arcuri and X. Yao. A Novel Co-evolutionary Approach to Automatic Software Bug Fixing. In Proceedings of the IEEE Congress on Evolutionary Computation (CEC ’08), pages 162–168, Hongkong, China, 1-6 June 2008. IEEE Computer Society.Google ScholarCross Ref
- A. Arcuri and X. Yao. Co-evolutionary automatic programming for software development. Information Sciences, 2010. To appear. Available on line from Elsevier.Google Scholar
- A. Baars, M. Harman, Y. Hassoun, K. Lakhotia, P. McMinn, P. Tonella, and T. Vos. Symbolic search-based testing. In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pages 53 – 62, Lawrence, Kansas, USA, 6th - 10th November 2011. Google ScholarDigital Library
- P. Baker, M. Harman, K. Steinhöfel, and A. Skaliotis. Search based approaches to component selection and prioritization for the next release problem. In 22nd International Conference on Software Maintenance (ICSM 06), pages 176–185, Philadelphia, Pennsylvania, USA, Sept. 2006. Google ScholarDigital Library
- L. Beckman, A. Haraldson, O. Oskarsson, , and E. Sandewall. A partial evaluator, and its use as a programming tool. Artificial Intelligence, 7(4):319–357, 1976.Google ScholarCross Ref
- B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, 1990. Google ScholarDigital Library
- D. Bjørner, A. P. Ershov, and N. D. Jones. Partial evaluation and mixed computation. North–Holland, 1987.Google Scholar
- 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. In 33rd International Conference on Software Engineering (ICSE’11), pages 1066–1071, New York, NY, USA, 2011. ACM. Google ScholarDigital Library
- C. Cadar, P. Pietzuch, and A. L. Wolf. Multiplicity computing: a vision of software engineering for next-generation computing platform applications. In G.-C. Roman and K. J. Sullivan, editors, Workshop on Future of Software Engineering Research (FoSER 2010), pages 81–86. ACM, 2010. Google ScholarDigital Library
- J. Clark, J. J. Dolado, M. Harman, R. M. Hierons, B. Jones, M. Lumkin, B. Mitchell, S. Mancoridis, K. Rees, M. Roper, and M. Shepperd. Reformulating software engineering as a search problem. IEE Proceedings — Software, 150(3):161–175, 2003.Google ScholarCross Ref
- P. C. Clements. Managing variability for software product lines: Working with variability mechanisms. In 10th International Conference on Software Product Lines (SPLC 2006), pages 207–208, Baltimore, Maryland, USA, 2006. IEEE Computer Society. Google ScholarDigital Library
- S. L. Cornford, M. S. Feather, J. R. Dunphy, J. Salcedo, and T. Menzies. Optimizing Spacecraft Design - Optimization Engine Development: Progress and Plans. In Proceedings of the IEEE Aerospace Conference, pages 3681–3690, Big Sky, Montana, March 2003.Google Scholar
- J. Darlington and R. M. Burstall. A system which automatically improves programs. Acta Informatica, 6:41–60, 1976.Google ScholarDigital Library
- P. T. Devanbu. GENOA: A customizable language- and front-end independent code analyzer. In T. Montgomery, L. A. Clarke, and C. Ghezzi, editors, 14th International Conference on Software Engineering (ICSE ’92), pages 307–317, Melbourne, Australia, May 1992. ACM Press. Google ScholarDigital Library
- M. D. Ernst. Dynamically Discovering Likely Program Invariants. PhD Thesis, University of Washington, 2000. Google ScholarDigital Library
- M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):1–25, Feb. 2001. Google ScholarDigital Library
- D. Fatiregun, M. Harman, and R. Hierons. Evolving transformation sequences using genetic algorithms. In 4th International Workshop on Source Code Analysis and Manipulation (SCAM 04), pages 65–74, Los Alamitos, California, USA, Sept. 2004. IEEE Computer Society Press. Google ScholarDigital Library
- R. Feldt. Generating diverse software versions with genetic programming: and experimental study. IEE Proceedings - Software, 145(6):228–312, 1998.Google ScholarCross Ref
- R. Feldt. Genetic programming as an explorative tool in early software development phases. In 1st International Workshop on Soft Computing Applied to Software Engineering, pages 11–20, University of Limerick, Ireland, 12-14 Apr. 1999. Limerick University Press.Google Scholar
- A. J. Field and P. G. Harrison. Functional Programming. Addison-Wesley, Wokingham, 1988.Google Scholar
- A. Finkelstein, M. Harman, A. Mansouri, J. Ren, and Y. Zhang. A search based approach to fairness analysis in requirements assignments to aid negotiation, mediation and decision making. Requirements Engineering, 14(4):231–245, 2009. Google ScholarDigital Library
- G. Fraser and A. Arcuri. Evosuite: automatic test suite generation for object-oriented software. In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’11), pages 416–419. ACM, September 5th - 9th 2011. Google ScholarDigital Library
- F. G. Freitas and J. T. Souza. Ten years of search based software engineering: A bibliometric analysis. In 3rd International Symposium on Search based Software Engineering (SSBSE 2011), pages 18–32, 10th - 12th September 2011. Google ScholarDigital Library
- Z. P. Fry, B. Landau, and W. Weimer. A human study of patch maintainability. In International Symposium on Software Testing and Analysis (ISSTA’12), Minneapolis, Minnesota, USA, July 2012. To appear. Google ScholarDigital Library
- P. Funes, E. Bonabeau, J. Herve, and Y. Morieux. Interactive multi-participant task allocation. In Proceedings of the 2004 IEEE Congress on Evolutionary Computation, pages 1699–1705, Portland, Oregon, 20-23 June 2004. IEEE Press.Google Scholar
- M. Gabel and Z. Su. A study of the uniqueness of source code. In 18th ACM SIGSOFT international symposium on foundations of software engineering (FSE 2010), pages 147–156, Santa Fe, New Mexico, USA, 7-11 Nov. 2010. ACM. Google ScholarDigital Library
- P. Godefroid, N. Klarlund, and K. Sen. DART: directed automated random testing. In V. Sarkar and M. W. Hall, editors, Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, IL, USA, June 12-15, 2005, pages 213–223. ACM, 2005. Google ScholarDigital Library
- M. Goedicke, C. Köllmann, and U. Zdun. Designing runtime variation points in product line architectures: three cases. Science of Computer Programming, 53(3):353 – 380, 2004. Google ScholarDigital Library
- C. L. 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. In International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, 2012. Google ScholarDigital Library
- M. Harman. The current state and future of search based software engineering. In L. Briand and A. Wolf, editors, Future of Software Engineering 2007, pages 342–357, Los Alamitos, California, USA, 2007. IEEE Computer Society Press. Google ScholarDigital Library
- M. Harman. Search based software engineering for program comprehension. In 15th International Conference on Program Comprehension (ICPC 07), pages 3–13, Banff, Canada, 2007. IEEE Computer Society Press. Google ScholarDigital Library
- M. Harman. Open problems in testability transformation. In 1st International Workshop on Search Based Testing (SBT 2008), Lillehammer, Norway, 2008. Google ScholarDigital Library
- M. Harman. Automated patching techniques: The fix is in: technical perspective. Communications of the ACM, 53(5):108, 2010. Google ScholarDigital Library
- M. Harman. The relationship between search based software engineering and predictive modeling. In 6th International Conference on Predictive Models in Software Engineering (PROMISE 2010), Timisoara, Romania, 2010. Google ScholarDigital Library
- M. Harman. Software engineering meets evolutionary computation. IEEE Computer, 44(10):31–39, Oct. 2011. Google ScholarDigital Library
- M. Harman, E. Burke, J. A. Clark, and X. Yao. Dynamic adaptive search based software engineering. In 6th IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2012), Lund, Sweden, September 2012. Google ScholarDigital Library
- M. Harman, Y. Jia, and B. Langdon. Strong higher order mutation-based test data generation. In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’11), pages 212–222, New York, NY, USA, September 5th - 9th 2011. ACM. Google ScholarDigital Library
- M. Harman and B. F. Jones. Search based software engineering. Information and Software Technology, 43(14):833–839, Dec. 2001.Google ScholarCross Ref
- M. Harman, A. Mansouri, and Y. Zhang. Search based software engineering: Trends, techniques and applications. ACM Computing Surveys, 2012. To appear.Google ScholarDigital Library
- 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(2):226–247, 2010. Google ScholarDigital Library
- M. Harman, P. McMinn, J. Souza, and S. Yoo. Search based software engineering: Techniques, taxonomy, tutorial. In B. Meyer and M. Nordio, editors, Empirical software engineering and verification: LASER 2009-2010, pages 1–59. Springer, 2012. LNCS 7007. Google ScholarDigital Library
- W. Heaven and E. Letier. Simulating and optimising design decisions in quantitative goal models. In 19th IEEE InternationalRequirements Engineering Conference (RE 2011), pages 79–88. IEEE, 2011. Google ScholarDigital Library
- H. Hemmati, A. Arcuri, and L. Briand. Achieving scalable model-based testing through test case diversity. ACM Ttransactions on Software Engineering and Methodology (TOSEM). To appear. Google ScholarDigital Library
- A. Hindle, E. Barr, Z. Su, P. Devanbu, and M. Gabel. On the naturalness of software. In International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, 2012. Google ScholarDigital Library
- D. Jackson. Self-adaptive focusing of evolutionary effort in hierarchical genetic programming. In A. Tyrrell, editor, 2009 IEEE Congress on Evolutionary Computation, pages 1821–1828, Trondheim, Norway, 18-21 May 2009. IEEE Computational Intelligence Society, IEEE Press. Google ScholarDigital Library
- Y. Jia and M. Harman. Milu: A customizable, runtime-optimized higher order mutation testing tool for the full C language. In 3rd Testing Academia and Industry Conference - Practice and Research Techniques (TAIC PART’08), pages 94–98, Windsor, UK, August 2008. Google ScholarDigital Library
- J. Krinke, N. Gold, Y. Jia, and D. Binkley. Cloning and copying between GNOME projects. In J. Whitehead and T. Zimmermann, editors, 7th International Working Conference on Mining Software Repositories (MSR 2010), pages 98–101. IEEE, 2010.Google Scholar
- L. M. Laird and M. C. Brennan. Software measurement and estimation: a practical approach, 2006. Google ScholarDigital Library
- K. Lakhotia, M. Harman, and H. Gross. AUSTIN: An open source tool for search based software testing of C programs. Journal of Information and Software Technology. To appear. Google ScholarDigital Library
- K. Lakhotia, P. McMinn, and M. Harman. Automated test data generation for coverage: Haven’t we solved this problem yet? In 4th Testing Academia and Industry Conference — Practice And Research Techniques (TAIC PART’09), pages 95–104, Windsor, UK, 4th–6th September 2009. Google ScholarDigital Library
- K. Lakhotia, N. Tillmann, M. Harman, and J. de Halleux. FloPSy — Search-based floating point constraint solving for symbolic execution. In 22nd IFIP International Conference on Testing Software and Systems (ICTSS 2010), pages 142–157, Natal, Brazil, November 2010. LNCS Volume 6435. Google ScholarDigital Library
- W. B. Langdon. Evo indent interactive evolution of GNU indent options. In F. Rothlauf, editor, Genetic and Evolutionary Computation Conference (GECCO 2009), pages 2081–2084, Montreal, Québec, Canada, 2009. ACM. Google ScholarDigital Library
- W. B. Langdon and M. Harman. Evolving a CUDA kernel from an nVidia template. In IEEE Congress on Evolutionary Computation, pages 1–8. IEEE, 2010.Google Scholar
- W. B. Langdon, M. Harman, and Y. Jia. Efficient multi objective higher order mutation testing with genetic programming. Journal of Systems and Software, 83(12):2416–2430, 2010. Google ScholarDigital Library
- W. B. Langdon and A. P. Harrison. GP on SPMD parallel graphics hardware for mega bioinformatics data mining. Soft Computing, 12(12):1169–1183, Oct. 2008. Special Issue on Distributed Bioinspired Algorithms. Google ScholarDigital Library
- C. Le Goues, T. Nguyen, S. Forrest, and W. Weimer. GenProg: A generic method for automatic software repair. IEEE Transactions on Software Engineering, 38(1):54–72, 2012. Google ScholarDigital Library
- E. Letier and A. van Lamsweerde. Deriving operational software specifications from system goals. In 10th ACM SIGSOFT symposium on foundations of software engineering (FSE ’02), pages 119–128, 2002. Google ScholarDigital Library
- P. McMinn. Search-based software test data generation: A survey. Software Testing, Verification and Reliability, 14(2):105–156, June 2004. Google ScholarDigital Library
- B. S. Mitchell and S. Mancoridis. On the automatic modularization of software systems using the bunch tool. IEEE Transactions on Software Engineering, 32(3):193–208, 2006. Google ScholarDigital Library
- I. H. Moghadam and Mel Ó Cinnéide. Code-Imp: A tool for automated search-based refactoring. In Proceeding of the 4th workshop on Refactoring Tools (WRT ’11), pages 41–44, Honolulu, HI, USA, 2011. Google ScholarDigital Library
- D. J. Montana. Strongly typed genetic programming. Evolutionary Computation, 3(2):199–230, 1995. Google ScholarDigital Library
- A. Ngo-The and G. Ruhe. A systematic approach for solving the wicked problem of software release planning. Soft Computing - A Fusion of Foundations, Methodologies and Applications, 12(1):95–108, August 2008. Google ScholarDigital Library
- M. O’Neill and C. Ryan. Grammatical evolution. IEEE Transactions on Evolutionary Computation, 5(4):349–358, Aug. 2001. Google ScholarDigital Library
- M. Orlov and M. Sipper. Flight of the FINCH through the java wilderness. IEEE Transactions Evolutionary Computation, 15(2):166–182, 2011. Google ScholarDigital Library
- H. A. Partsch. The Specification and Transformation of Programs: A Formal Approach to Software Development. Springer, 1990. Google ScholarDigital Library
- S. Paul and A. Prakash. A framework for source code search using program patterns. IEEE Transactions on Software Engineering, 20(6):463–475, June 1994. Google ScholarDigital Library
- H. Pohlheim and J. Wegener. Testing the temporal behavior of real-time software modules using extended evolutionary algorithms. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCDO ’99), volume 2, page 1795, San Francisco, CA 94104, USA, 13-17 July 1999. Morgan Kaufmann.Google Scholar
- R. Poli and J. Page. Solving high-order boolean parity problems with smooth uniform crossover, sub-machine code GP and demes. Genetic Programming and Evolvable Machines, 1(1/2):37–56, Apr. 2000. Google ScholarDigital Library
- O. Räihä. A survey on search–based software design. Computer Science Review, 4(4):203–249, 2010. Google ScholarDigital Library
- C. Ryan. Automatic Re-engineering of Software Using Genetic Programming, volume 2 of Genetic Programming. Kluwer Academic Publishers, 1 Nov. 1999. Google ScholarDigital Library
- B. Salamat, T. Jackson, A. Gal, and M. Franz. Orchestra: Intrusion detection using parallel execution and monitoring of program variants in user-space. In 4th EuroSys Conference (EuroSys’09), pages 33–46, Nuremberg, Germany, Apr. 2009. ACM. Google ScholarDigital Library
- M. O. Saliu and G. Ruhe. Bi-objective release planning for evolving software systems. In I. Crnkovic and A. Bertolino, editors, 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, pages 105–114. ACM, Sept. 2007. Google ScholarDigital Library
- R. A. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, and M. J. Harrold. Test-suite augmentation for evolving software. In 23rd Automated Software Engineering (ASE ’08), pages 218–227, L’Aquila, Italy, 2008. IEEE. Google ScholarDigital Library
- K. Sen, D. Marinov, and G. Agha. CUTE: a concolic unit testing engine for C. In M. Wermelinger and H. Gall, editors, 10th European Software Engineering Conference and 13th ACM International Symposium on Foundations of Software Engineering (ESEC/FSE ’05), pages 263–272. ACM, 2005. Google ScholarDigital Library
- S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, and M. C. Rinard. Managing performance vs. accuracy trade-offs with loop perforation. In T. Gyimóthy and A. Zeller, editors, 19th ACM Symposium on the Foundations of Software Engineering (FSE-19), pages 124–134, Szeged, Hungary, Sept. 2011. ACM. Google ScholarDigital Library
- C. L. Simons, I. C. Parmee, and R. Gwynllyw. Interactive, evolutionary search in upstream object-oriented class design. IEEE Transactions on Software Engineering, 36(6):798–816, 2010. Google ScholarDigital Library
- P. Tonella. Evolutionary testing of classes. In Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA ’04), pages 119–128, Boston, Massachusetts, USA, 11-14 July 2004. ACM. Google ScholarDigital Library
- A. van Lamsweerde. Requirements Engineering - From System Goals to UML Models to Software Specifications. Wiley, 2009. Google ScholarDigital Library
- J. A. Walker and J. F. Miller. The automatic acquisition, evolution and reuse of modules in cartesian genetic programming. IEEE Transactions on Evolutionary Computation, 12(4):397–417, Aug. 2008. Google ScholarDigital Library
- J. Wegener and O. Bühler. Evaluation of different fitness functions for the evolutionary testing of an autonomous parking system. In Genetic and Evolutionary Computation Conference (GECCO 2004), pages 1400–1412, Seattle, Washington, USA, June 2004. LNCS 3103.Google ScholarCross Ref
- W. Weimer, T. V. Nguyen, C. L. Goues, and S. Forrest. Automatically finding patches using genetic programming. In International Conference on Software Engineering (ICSE 2009), pages 364–374, Vancouver, Canada, 2009. Google ScholarDigital Library
- E. J. Weyuker. On testing non-testable programs. The Computer Journal, 25(4):465–470, Nov. 1982.Google ScholarCross Ref
- D. R. White. Genetic Programming for Low-Resource Systems. PhD Thesis, Dapartment of Computer Science, University of York, UK, 2010.Google Scholar
- D. R. White, A. Arcuri, and J. A. Clark. Evolutionary improvement of programs. IEEE Transactions on Evolutionary Computation, 15(4):515–538, 2011. Google ScholarDigital Library
- D. R. White, J. Clark, J. Jacob, and S. Poulding. Searching for resource-efficient programs: Low-power pseudorandom number generators. In 2008 Genetic and Evolutionary Computation Conference (GECCO 2008), pages 1775–1782, Atlanta, USA, July 2008. ACM Press. Google ScholarDigital Library
- S. Yoo and M. Harman. Regression testing minimisation, selection and prioritisation: A survey. Journal of Software Testing, Verification and Reliability, 22(2):67–120, 2012. Google ScholarDigital Library
- S. Yoo and M. Harman. Test data regeneration: Generating new test data from existing test data. Journal of Software Testing, Verification and Reliability, 2012. To appear. Google ScholarDigital Library
- S. Yoo, M. Harman, and S. Ur. Highly scalable multi-objective test suite minimisation using graphics cards. In 3rd International Symposium on Search based Software Engineering (SSBSE 2011), pages 219–236, 10th - 12th September 2011. LNCS Volume 6956. Google ScholarDigital Library
- S. Yoo, R. Nilsson, and M. Harman. Faster fault finding at Google using multi objective regression test optimisation. In 8th European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE ’11), Szeged, Hungary, September 5th - 9th 2011. Industry Track.Google Scholar
- Y. Zhang, E. Alba, J. J. Durillo, S. Eldh, and M. Harman. Today/future importance analysis. In ACM Genetic and Evolutionary Computation COnference (GECCO 2010), pages 1357–1364, Portland Oregon, USA, 7th–11th July 2010. Google ScholarDigital Library
- Y. Zhang, A. Finkelstein, and M. Harman. Search based requirements optimisation: Existing work and challenges. In International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ’08), volume 5025, pages 88–94, Montpellier, France, 2008. Springer LNCS. Google ScholarDigital Library
Index Terms
- The GISMOE challenge: constructing the pareto program surface using genetic programming to find better programs (keynote paper)
Recommendations
Deriving Functions for Pareto Optimal Fronts Using Genetic Programming
Artificial Intelligence and Soft ComputingAbstractGenetic Programming is a specialized form of genetic algorithms which evolve trees. This paper proposes an approach to evolve an expression tree, which is an N-Ary tree that represents a mathematical equation and that describes a given set of ...
Generation of New Scalarizing Functions Using Genetic Programming
Parallel Problem Solving from Nature – PPSN XVIAbstractIn recent years, there has been a growing interest in multiobjective evolutionary algorithms (MOEAs) with a selection mechanism different from Pareto dominance. This interest has been mainly motivated by the poor performance of Pareto-based ...
Genetic improvement in code interpreters and compilers
SPLASH Companion 2017: Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for HumanityModern compilers provide code optimizations before and during run-time, thus moving required domain knowledge about the compilation process away from the developer and speeding up resulting software. These optimizations are often based on formal proof, ...
Comments