School of Computing

Semantically driven mutation in genetic programming

Lawrence Beadle and Colin G. Johnson

In Proceedings of the 2009 IEEE Congress on Evolutionary Computation, pages 182-196. IEEE Press, May 2009.


Using semantic analysis, we present a technique known as semantically driven mutation which can explicitly detect and apply behavioural changes caused by the syntactic changes in programs that result from the mutation operation. Using semantically driven mutation, we demonstrate increased performance in genetic programming on seven benchmark genetic programming problems over two different domains.

Download publication 886 kbytes (PDF)

Bibtex Record

author = {Lawrence Beadle and Colin G. Johnson},
title = {Semantically Driven Mutation in Genetic Programming},
month = {May},
year = {2009},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {},
    publication_type = {inproceedings},
    submission_id = {6812_1244727725},
    ISBN = {978-1-4244-2959-2},
    publisher = {IEEE Press},
    refereed = {Yes},
    booktitle = {Proceedings of the 2009 IEEE Congress on Evolutionary Computation},

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

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

Last Updated: 21/03/2014