Counterexample-Driven Genetic Programming: Heuristic Program Synthesis from Formal Specifications.

Iwo Bladek Krzysztof Krawiec Jerry Swan

Published in: Evol. Comput. (2018)

Keyphrases

program synthesis
genetic programming
formal specification
model checking
hyper heuristics
object oriented design
specification languages
temporal logic
formal methods
evolutionary algorithm
recursive programs
concurrent systems
reverse engineering
software components
learning algorithm