Counterexample-Driven Genetic Programming without Formal Specifications
Created by W.Langdon from
gp-bibliography.bib Revision:1.8098
- @InProceedings{Helmuth:2020:GECCOcompa,
-
author = "Thomas Helmuth and Lee Spector and Edward Pantridge",
-
title = "Counterexample-Driven Genetic Programming without
Formal Specifications",
-
year = "2020",
-
editor = "Richard Allmendinger and Hugo Terashima Marin and
Efren Mezura Montes and Thomas Bartz-Beielstein and
Bogdan Filipic and Ke Tang and David Howard and
Emma Hart and Gusz Eiben and Tome Eftimov and
William {La Cava} and Boris Naujoks and Pietro Oliveto and
Vanessa Volz and Thomas Weise and Bilel Derbel and Ke Li and
Xiaodong Li and Saul Zapotecas and Qingfu Zhang and
Rui Wang and Ran Cheng and Guohua Wu and Miqing Li and
Hisao Ishibuchi and Jonathan Fieldsend and
Ozgur Akman and Khulood Alyahya and Juergen Branke and
John R. Woodward and Daniel R. Tauritz and Marco Baioletti and
Josu Ceberio Uribe and John McCall and
Alfredo Milani and Stefan Wagner and Michael Affenzeller and
Bradley Alexander and Alexander (Sandy) Brownlee and
Saemundur O. Haraldsson and Markus Wagner and
Nayat Sanchez-Pi and Luis Marti and Silvino {Fernandez Alzueta} and
Pablo {Valledor Pellicer} and Thomas Stuetzle and
Matthew Johns and Nick Ross and Ed Keedwell and
Herman Mahmoud and David Walker and Anthony Stein and
Masaya Nakata and David Paetzel and Neil Vaughan and
Stephen Smith and Stefano Cagnoni and Robert M. Patton and
Ivanoe {De Falco} and Antonio {Della Cioppa} and
Umberto Scafuri and Ernesto Tarantino and
Akira Oyama and Koji Shimoyama and Hemant Kumar Singh and
Kazuhisa Chiba and Pramudita Satria Palar and Alma Rahat and
Richard Everson and Handing Wang and Yaochu Jin and
Erik Hemberg and Riyad Alshammari and
Tokunbo Makanju and Fuijimino-shi and Ivan Zelinka and Swagatam Das and
Ponnuthurai Nagaratnam and Roman Senkerik",
-
isbn13 = "9781450371278",
-
publisher = "Association for Computing Machinery",
-
publisher_address = "New York, NY, USA",
-
URL = "https://doi.org/10.1145/3377929.3389983",
-
DOI = "doi:10.1145/3377929.3389983",
-
booktitle = "Proceedings of the 2020 Genetic and Evolutionary
Computation Conference Companion",
-
pages = "239--240",
-
size = "2 pages",
-
keywords = "genetic algorithms, genetic programming,
counterexamples, program synthesis",
-
address = "internet",
-
series = "GECCO '20",
-
month = jul # " 8-12",
-
organisation = "SIGEVO",
-
abstract = "Counterexample-driven genetic programming (CDGP) uses
specifications provided as formal constraints in order
to generate the training cases used to evaluate the
evolving programs. It has also been extended to combine
formal constraints and user-provided training data to
solve symbolic regression problems. Here we show how
the ideas underlying CDGP can also be applied using
only user-provided training data, without formal
specifications. We demonstrate the application of this
method, called informal CDGP, to software synthesis
problems.",
-
notes = "Also known as \cite{10.1145/3377929.3389983}
GECCO-2020 A Recombination of the 29th International
Conference on Genetic Algorithms (ICGA) and the 25th
Annual Genetic Programming Conference (GP)",
- }
Genetic Programming entries for
Thomas Helmuth
Lee Spector
Edward R Pantridge
Citations