Title
Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications
Authors
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] employee
Scientific discipline (Law 2.0)
Year of publication
2018
Published in
Article type
scientific article
Publication language
english
Keywords
EN
- genetic programming
- formal verification
- counterexamples
- SMT
Pages (from - to)
441 - 469
Ministry points / journal
45
Ministry points / journal in years 2017-2021
45
Impact Factor
3,469
System created by Poznań University of Technology
and Poznan Supercomputing and Networking Center
Log in through eKonto to add to SIS