Tytuł
Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications
Autorzy
[ 1 ] Instytut Informatyki, Wydział Informatyki, Politechnika Poznańska | [ P ] pracownik
Dyscyplina naukowa (Ustawa 2.0)
Rok publikacji
2018
Opublikowano w
Typ artykułu
artykuł naukowy
Język publikacji
angielski
Słowa kluczowe
EN
- genetic programming
- formal verification
- counterexamples
- SMT
Strony (od-do)
441 - 469
Punktacja Ministerstwa / czasopismo
45
Punktacja Ministerstwa / czasopismo w ewaluacji 2017-2021
45
Impact Factor
3,469
System tworzony przez Politechnikę Poznańską
oraz Poznańskie Centrum Superkomputerowo-Sieciowe
Zaloguj się przez eKonto, aby dodać do SIN