A Data Mining Approach to Support the Creation of Loop Invariants Using Genetic Programming

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

@TechReport{fuchs:1998:ARP-09,
  author =       "Matthias Fuchs",
  title =        "A Data Mining Approach to Support the Creation of Loop
                 Invariants Using Genetic Programming",
  institution =  "Computer Science Laboaratory, Australian National
                 University",
  year =         "1999",
  type =         "Technical Report",
  number =       "TR-ARP-09-98",
  address =      "Canberra, ACT 0200, Australia",
  month =        "12 " # oct,
  keywords =     "genetic algorithms, genetic programming",
  URL =          "http://arp.anu.edu.au/ftp/techreports/1998/TR-ARP-09-98.ps.gz",
  abstract =     "We describe a data-mining approach to creating central
                 parts of loop invariants. The approach is based on
                 producing a trace table by recording the values of
                 program variables each time the condition of a loop is
                 evaluated. From this trace table, functional
                 dependencies between program variables can be extracted
                 which may play a vital role in loop invariants. The
                 extraction process is accomplished through the use of
                 genetic programming which performs a symbolic
                 regression on the data contained by the trace table. We
                 illustrate our approach with examples.",
  size =         "11 pages",
}

Genetic Programming entries for Matthias Fuchs

Citations