© 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}, }