A symbolic execution framework for algorithm-level modelling.

Ziyad Hanna Thomas F. Melham

Published in: HLDVT (2009)

Keyphrases

learning algorithm
optimization algorithm
search space
matching algorithm
simulated annealing
artificial intelligence
multi objective
object oriented
general purpose
open source