@INPROCEEDINGS { Krawiec:2017:CDGP,
ACMID = { 3071224 },
ADDRESS = { New York, NY, USA },
AUTHOR = { Krawiec, Krzysztof and B\l\k{a}dek, Iwo and Swan, Jerry },
BOOKTITLE = { Proceedings of the Genetic and Evolutionary Computation Conference },
DOI = { 10.1145/3071178.3071224 },
ISBN = { 978-1-4503-4920-8 },
KEYWORDS = { SAT, SMT, counterexample, formal verification, genetic programming, program synthesis },
LOCATION = { Berlin, Germany },
NUMPAGES = { 8 },
PAGES = { 953--960 },
PUBLISHER = { ACM },
SERIES = { GECCO '17 },
TITLE = { Counterexample-driven Genetic Programming },
URL = { http://doi.acm.org/10.1145/3071178.3071224 },
YEAR = { 2017 },
1 = { http://doi.acm.org/10.1145/3071178.3071224 },
2 = { https://doi.org/10.1145/3071178.3071224 },
}