Formality Based Genetic Programming

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

@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