Formality Based Genetic Programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.7970
- @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