© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A genetic algorithm for coverage problems
Colin G. Johnson
In Dirk Thierens et al., editor, Proceedings of the 2007 Genetic and Evolutionary Computation Conference, volume II, pages 182-196. ACM Press, July 2007 [doi].Abstract
This paper describes a genetic algorithm approach to coverage problems, that is, problems where the aim is to discover an example for each class in a given classifcation scheme.
Download publication 87 kbytes (PDF)Bibtex Record
@inproceedings{2799,
author = {Colin G. Johnson},
title = {A Genetic Algorithm for Coverage Problems},
month = {July},
year = {2007},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {10.1145/1276958.1277250},
url = {http://www.cs.kent.ac.uk/pubs/2007/2799},
publication_type = {inproceedings},
submission_id = {18199_1220286404},
ISBN = {978-1-59593-697-4},
booktitle = {Proceedings of the 2007 Genetic and Evolutionary Computation Conference},
editor = {Dirk Thierens et al.},
volume = {II},
publisher = {ACM Press},
refereed = {yes},
}