Counterexample-Driven Genetic Programming without Formal Specifications

Created by W.Langdon from gp-bibliography.bib Revision:1.7662

@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