School of Computing

Deriving genetic programming fitness properties by static analysis

Colin G. Johnson

In Evelyne Lutton, James A. Foster, Julian Miller, Conor Ryan, and Andrea G. B. Tettamanzi, editors, Proceedings of the 4th European Conference on Genetic Programming, EuroGP 2002, volume 2278 of Lecture Notes in Computer Science, pages 182-196, Berlin, April 2002. Springer-Verlag.


Deriving Genetic Programming Fitness Properties by Static Analysis

Colin G. Johnson

The aim of this paper is to introduce the idea of using static analysis of computer programs as a way of measuring fitness in genetic programming. Such techniques extract information about the programs without explicitly running them, and in particular they infer properties which hold across the whole of the input space of a program. This can be applied to measure fitness, and has a number of advantages over measuring fitness by running members of the population on test cases. The most important advantage is that if a solution is found then it is possible to formally trust that solution to be correct across all inputs. This paper introduces these ideas, discusses various ways in which they could be applied, discusses the type of problems for which they are appropriate, and ends by giving a simple test example and some questions for future research.

Download publication 231 kbytes (PostScript)

Bibtex Record

author = {Colin G. Johnson},
title = {Deriving genetic programming fitness properties by static analysis},
month = {April},
year = {2002},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {19620_1014806773},
    booktitle = {Proceedings of the 4th European Conference on Genetic Programming, EuroGP 2002},
    editor = {Evelyne Lutton and James A. Foster and Julian Miller and Conor Ryan and Andrea G. B. Tettamanzi},
    volume = {2278},
    series = {Lecture Notes in Computer Science},
    address = {Berlin},
    publisher = {Springer-Verlag},
    refereed = {yes},
    ISBN = {3-540-43378-3},

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014