Hoare logic-based genetic programming
Created by W.Langdon from
gp-bibliography.bib Revision:1.8081
- @Article{journals/chinaf/HeKJY11,
-
author = "Pei He and Lishan Kang and Colin G. Johnson and
Shi Ying",
-
title = "Hoare logic-based genetic programming",
-
journal = "SCIENCE CHINA Information Sciences",
-
year = "2011",
-
number = "3",
-
volume = "54",
-
pages = "623--637",
-
month = mar,
-
publisher = "Science China Press, co-published with Springer",
-
keywords = "genetic algorithms, genetic programming",
-
ISSN = "1674-733X",
-
DOI = "doi:10.1007/s11432-011-4200-4",
-
size = "15 pages",
-
abstract = "Almost all existing genetic programming systems deal
with fitness evaluation solely by testing. In this
paper, by contrast, we present an original approach
that combines genetic programming with Hoare logic with
the aid of model checking and finite state automata,
hence by proposing a brand new verification-focused
formal genetic programming system that makes it
possible to evolve reliable programs with
mathematically verified properties.",
-
affiliation = "State Key Laboratory of Software Engineering, Wuhan
University, Wuhan, 430072 China",
-
bibdate = "2011-06-08",
-
bibsource = "DBLP,
http://dblp.uni-trier.de/db/journals/chinaf/chinaf54.html#HeKJY11",
- }
Genetic Programming entries for
Pei He
Li-Shan Kang
Colin G Johnson
Shi Ying
Citations