Searching for invariants using genetic programming and mutation testing

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

@InProceedings{Ratcliff:2011:GECCO,

• author = "Sam Ratcliff and David R. White and John A. Clark",
• title = "Searching for invariants using genetic programming and mutation testing",
• booktitle = "GECCO '11: Proceedings of the 13th annual conference on Genetic and evolutionary computation",
• year = "2011",
• editor = "Natalio Krasnogor and Pier Luca Lanzi and Andries Engelbrecht and David Pelta and Carlos Gershenson and Giovanni Squillero and Alex Freitas and Marylyn Ritchie and Mike Preuss and Christian Gagne and Yew Soon Ong and Guenther Raidl and Marcus Gallager and Jose Lozano and Carlos Coello-Coello and Dario Landa Silva and Nikolaus Hansen and Silja Meyer-Nieberg and Jim Smith and Gus Eiben and Ester Bernado-Mansilla and Will Browne and Lee Spector and Tina Yu and Jeff Clune and Greg Hornby and Man-Leung Wong and Pierre Collet and Steve Gustafson and Jean-Paul Watson and Moshe Sipper and Simon Poulding and Gabriela Ochoa and Marc Schoenauer and Carsten Witt and Anne Auger",
• isbn13 = "978-1-4503-0557-0",
• pages = "1907--1914",
• note = "Best paper",
• keywords = "genetic algorithms, genetic programming, Search-based software engineering",
• month = "12-16 " # jul,
• organisation = "SIGEVO",
• address = "Dublin, Ireland",
• DOI = "doi:10.1145/2001576.2001832",
• publisher = "ACM",
• publisher_address = "New York, NY, USA",
• abstract = "Invariants are concise and useful descriptions of a program's behaviour. As most programs are not annotated with invariants, previous research has attempted to automatically generate them from source code. In this paper, we propose a new approach to invariant generation using search. We reuse the trace generation front-end of existing tool Daikon and integrate it with genetic programming and a mutation testing tool. We demonstrate that our system can find the same invariants through search that Daikon produces via template instantiation, and we also find useful invariants that Daikon does not. We then present a method of ranking invariants such that we can identify those that are most interesting, through a novel application of program mutation.",
• notes = "Also known as \cite{2001832} GECCO-2011 A joint meeting of the twentieth international conference on genetic algorithms (ICGA-2011) and the sixteenth annual genetic programming conference (GP-2011)",

}

Genetic Programming entries for Sam Ratcliff David Robert White John A Clark

Citations