Projects per year
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.
Original language | English |
---|---|
Title of host publication | GECCO 2011 |
Subtitle of host publication | Proceedings of 13th Annual Conference on Genetic and Evolutionary Computation |
Editors | Natalio Krasnogor, Pier Luca Lanzi |
Publisher | ACM |
Pages | 1907-1914 |
Number of pages | 8 |
ISBN (Print) | 978-1-4503-0557-0 |
DOIs | |
Publication status | Published - 2011 |
Event | GECCO '11 - Dublin, Ireland Duration: 12 Jul 2011 → 16 Jul 2011 |
Conference
Conference | GECCO '11 |
---|---|
Country/Territory | Ireland |
City | Dublin |
Period | 12/07/11 → 16/07/11 |
Bibliographical note
Winner of the Best Search Based Software Engtineering (SBSE) Paper PrizeProjects
- 1 Finished
-
SEBASE: SEBASE: Software Engineering by Automated Search
28/06/06 → 4/07/12
Project: Research project (funded) › Research