Title
Counterexample-Driven Genetic Programming
Authors
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee
Scientific discipline (Law 2.0)
Year of publication
2017
Chapter type
chapter in monograph / paper
Publication language
english
Keywords
EN
- Genetic Programming
- Program Synthesis
- Formal Verification
- Counterexample
- SAT
- SMT
Pages (from - to)
953 - 960
Ministry points / chapter
20
Ministry points / conference (CORE)
140
Publication indexed in
WoS (15)
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS