Genetic Programming Bibliography entries for Daniel Kroening

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8229

GP coauthors/coeditors: Cristina David,

Genetic Programming Articles by Daniel Kroening

• Cristina David and Daniel Kroening. Program synthesis: challenges and opportunities. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 375(2104) 2017. Discussion meeting issue ``Verified trustworthy software systems'' organised and edited by Philippa Gardner, Mike Gordon, Greg Morrisett, Peter O'Hearn and Fred Schneider. details