%0 Report %1 fuchs:1998:ARP-09 %A Fuchs, Matthias %C Canberra, ACT 0200, Australia %D 1999 %K algorithms, genetic programming %N TR-ARP-09-98 %T A Data Mining Approach to Support the Creation of Loop Invariants Using Genetic Programming %U http://arp.anu.edu.au/ftp/techreports/1998/TR-ARP-09-98.ps.gz %X 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.

@techreport{fuchs:1998:ARP-09, 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.}, added-at = {2008-06-19T17:35:00.000+0200}, address = {Canberra, ACT 0200, Australia}, author = {Fuchs, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/27cbc94263a76fc856a30322f019dee57/brazovayeye}, institution = {Computer Science Laboaratory, Australian National University}, interhash = {c0510a136a0fce06bec1c879f71961b1}, intrahash = {7cbc94263a76fc856a30322f019dee57}, keywords = {algorithms, genetic programming}, month = {12 October}, number = {TR-ARP-09-98}, size = {11 pages}, timestamp = {2008-06-19T17:39:53.000+0200}, title = {A Data Mining Approach to Support the Creation of Loop Invariants Using Genetic Programming}, type = {Technical Report}, url = {http://arp.anu.edu.au/ftp/techreports/1998/TR-ARP-09-98.ps.gz}, year = 1999 }