Thomas Helmuth, Lee Spector, Edward E. Pantridge. Counterexample-driven genetic programming without formal specifications. In Carlos Artemio Coello Coello, editor, GECCO '20: Genetic and Evolutionary Computation Conference, Cancún, Mexico, July 8-12, 2020. pages 239-240, ACM, 2020. [doi]
@inproceedings{HelmuthSP20,
title = {Counterexample-driven genetic programming without formal specifications},
author = {Thomas Helmuth and Lee Spector and Edward E. Pantridge},
year = {2020},
doi = {10.1145/3377929.3389983},
url = {https://doi.org/10.1145/3377929.3389983},
researchr = {https://researchr.org/publication/HelmuthSP20},
cites = {0},
citedby = {0},
pages = {239-240},
booktitle = {GECCO '20: Genetic and Evolutionary Computation Conference, Cancún, Mexico, July 8-12, 2020},
editor = {Carlos Artemio Coello Coello},
publisher = {ACM},
isbn = {978-1-4503-7127-8},
}