Co-evolutionary automatic programming for software development

Created by W.Langdon from gp-bibliography.bib Revision:1.7615

@Article{Arcuri2010,

• author = "Andrea Arcuri and Xin Yao",
• title = "Co-evolutionary automatic programming for software development",
• journal = "Information Sciences",
• year = "2014",
• volume = "259",
• pages = "412--432",
• ISSN = "0020-0255",
• DOI = "doi:10.1016/j.ins.2009.12.019",
• URL = "http://www.sciencedirect.com/science/article/B6V0C-4Y34WFM-2/2/6700572128cf209a061759f28c5b7020",
• keywords = "genetic algorithms, genetic programming, SBSE, STGP, Automatic programming, Automatic refinement, Co-evolution, Software testing",
• size = "21 pages",
• abstract = "Since the 1970s the goal of generating programs in an automatic way (i.e., Automatic Programming) has been sought. A user would just define what he expects from the program (i.e., the requirements), and it should be automatically generated by the computer without the help of any programmer. Unfortunately, this task is much harder than expected. Although transformation methods are usually employed to address this problem, they cannot be employed if the gap between the specification and the actual implementation is too wide. In this paper we introduce a novel conceptual framework for evolving programs from their specification. We use genetic programming to evolve the programs, and at the same time we exploit the specification to co-evolve sets of unit tests. Programs are rewarded by how many tests they do not fail, whereas the unit tests are rewarded by how many programs they make to fail. We present and analyse seven different problems on which this novel technique is successfully applied.",
• notes = "competitive co-evolution. MaxValue, AllEqual, Triangle Classification, Swap, Order, Sorting, Median. One variable called result write_result read_result. Simple first order logic specification. Java, ECJ. Random sampling SSP, ensemble N-version programming.",

}

Genetic Programming entries for Andrea Arcuri Xin Yao

Citations