Formal verification to enhance evolution of protocols

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

  author =       "Tim Lewis and Russell J. Haines",
  title =        "Formal verification to enhance evolution of
  booktitle =    "GECCO '09: Proceedings of the 11th Annual conference
                 on Genetic and evolutionary computation",
  year =         "2009",
  editor =       "Guenther Raidl and Franz Rothlauf and 
                 Giovanni Squillero and Rolf Drechsler and Thomas Stuetzle and 
                 Mauro Birattari and Clare Bates Congdon and 
                 Martin Middendorf and Christian Blum and Carlos Cotta and 
                 Peter Bosman and Joern Grahl and Joshua Knowles and 
                 David Corne and Hans-Georg Beyer and Ken Stanley and 
                 Julian F. Miller and Jano {van Hemert} and 
                 Tom Lenaerts and Marc Ebner and Jaume Bacardit and 
                 Michael O'Neill and Massimiliano {Di Penta} and Benjamin Doerr and 
                 Thomas Jansen and Riccardo Poli and Enrique Alba",
  pages =        "1889--1890",
  address =      "Montreal",
  publisher =    "ACM",
  publisher_address = "New York, NY, USA",
  month =        "8-12 " # jul,
  organisation = "SigEvo",
  keywords =     "genetic algorithms, genetic programming, Poster",
  isbn13 =       "978-1-60558-325-9",
  bibsource =    "DBLP,",
  DOI =          "doi:10.1145/1569901.1570219",
  abstract =     "This paper describes a combined evolutionary system
                 whereby formal correctness properties are used to
                 augment a standard functional fitness score. This
                 system was applied to the problem of evolving the
                 receive side of an alternating bit protocol,
                 represented by a Petrinet. The fitness function
                 combined a test for freedom from deadlock in addition
                 to a functional scoring system. The efficiency gain
                 produced nets of equal functional fitness requiring
                 approximately one third of the number of evaluations
                 required when functional tests were used alone. This
                 result has wider applicability in any genetic
                 programming evolution where formal correctness tests of
                 the algorithms can be carried out.",
  notes =        "Toshiba Telecommunications Laboratory, Bristol, United

                 GECCO-2009 A joint meeting of the eighteenth
                 international conference on genetic algorithms
                 (ICGA-2009) and the fourteenth annual genetic
                 programming conference (GP-2009).

                 ACM Order Number 910092.",

Genetic Programming entries for Tim Lewis Russell J Haines