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

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

@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