Formality Based Genetic Programming

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

@InProceedings{He3:2008:cec,
  author =       "Pei He and Lishan Kang and Ming Fu",
  title =        "Formality Based Genetic Programming",
  booktitle =    "2008 IEEE World Congress on Computational
                 Intelligence",
  year =         "2008",
  editor =       "Jun Wang",
  pages =        "4080--4087",
  address =      "Hong Kong",
  month =        "1-6 " # jun,
  organization = "IEEE Computational Intelligence Society",
  publisher =    "IEEE Press",
  isbn13 =       "978-1-4244-1823-7",
  file =         "EC0867.pdf",
  DOI =          "doi:10.1109/CEC.2008.4631354",
  abstract =     "Genetic programming (GP) is an illogical method for
                 automatic programming. It shows creativity in
                 discovering a desired program to solve problem, but in
                 essence bases its searching principle on software
                 testing. This paper is dedicated to establishing a
                 novel GP which combines classical GP and formal
                 approaches like Hoare's logic, model checking, and
                 automaton, etc. The result indicates these methods can
                 collaborate in the framework pretty well. As has been
                 demonstrated by the experiment, they work in a way that
                 preserves their advantages while each compensates for
                 the deficiencies of the other. So, once an approximate
                 program is obtained, we can say with certainty it is
                 correct with respect to its corresponding pre- and
                 post-conditions.",
  keywords =     "genetic algorithms, genetic programming, program
                 verification, approximate program, automatic
                 programming, formality based genetic programming,
                 software testing",
  notes =        "WCCI 2008 - A joint meeting of the IEEE, the INNS, the
                 EPS and the IET.",
}

Genetic Programming entries for Pei He Li-Shan Kang Ming Fu

Citations