Hoare logic-based genetic programming

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

@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