Przetwarzanie może potrwać kilka sekund...

Artykuł

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)

2.3 Informatyka techniczna i telekomunikacja

Rok publikacji

2018

Opublikowano w

Evolutionary Computation

Rocznik: 2018 | Tom: vol. 26 | Numer: iss. 3

Typ artykułu

artykuł naukowy

Język publikacji

angielski

Słowa kluczowe
EN
  • genetic programming
  • formal verification
  • counterexamples
  • SMT
Strony (od-do)

441 - 469

DOI

10.1162/evco_a_00228

URL

https://www.mitpressjournals.org/doi/pdf/10.1162/evco_a_00228

Punktacja MNiSW / czasopismo

45 [Ujednolicony wykaz czasopism naukowych 2013-2016]

Impact Factor

3,469