@INPROCEEDINGS { ijcai2018-742,
AUTHOR = { Krzysztof Krawiec and Iwo B{\l}{\k a}dek and Jerry Swan and John H. Drake },
BOOKTITLE = { Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI-18} },
DOI = { 10.24963/ijcai.2018/742 },
MONTH = { 7 },
PAGES = { 5304--5308 },
PUBLISHER = { International Joint Conferences on Artificial Intelligence Organization },
TITLE = { Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs },
URL = { https://doi.org/10.24963/ijcai.2018/742 },
YEAR = { 2018 },
1 = { https://doi.org/10.24963/ijcai.2018/742 },
}