Co-evolutionary automated software correction: a proof of concept

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

@MastersThesis{Wilkerson:masters,
  author =       "Joshua Lee Wilkerson",
  title =        "Co-evolutionary automated software correction: a proof
                 of concept",
  school =       "Missouri University of Science and Technology",
  year =         "2008",
  type =         "MSc in Computer Sciences",
  keywords =     "genetic algorithms, genetic programming, SBSE",
  URL =          "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.304.6988",
  URL =          "http://hdl.handle.net/10355/27358",
  URL =          "http://scholarsmine.mst.edu/thesis/pdf/Wilkerson_09007dcc80642bb4.pdf",
  size =         "73 pages",
  abstract =     "The task of ensuring that a software artifact is
                 correct can be a very time consuming process. To be
                 able to say that an algorithm is correct is to say that
                 it will produce results in accordance with its
                 specifications for all valid input. One possible way to
                 identify an incorrect implementation is through the use
                 of automated testing (currently an open problem in the
                 field of software engineering); however, actually
                 correcting the implementation is typically a manual
                 task for the software developer. In this thesis a
                 system is presented which automates not only the
                 testing but also the correction of an implementation.
                 This is done using genetic programming methods to
                 evolve the implementation itself and an appropriate
                 evolutionary algorithm to evolve test cases. These two
                 evolutionary algorithms are tied together using
                 co-evolution such that each population plays a large
                 role in the evolution of the other population. A
                 prototype of the Co-evolutionary Automated Software
                 Correction (CASC) system has been developed, which has
                 allowed for preliminary experimentation to test the
                 validity of the idea behind the CASC system",
  notes =        "sort, seeding

                 Approved by Dr. Daniel Tauritz, Advisor Dr. Thomas
                 Weigert Dr. Bruce McMillin",
}

Genetic Programming entries for Josh L Wilkerson

Citations