Dynamic synthesis of program invariants using genetic programming.

Luigi Cardamone Andrea Mocci Carlo Ghezzi

Published in: IEEE Congress on Evolutionary Computation (2011)

Keyphrases

dynamic environments
program synthesis
functional programs
neural network
data sets
artificial intelligence
computer programs
moment invariants
dynamically changing