Automatic Abstraction in Symbolic Trajectory Evaluation.

Sara Adams Magnus Björk Thomas F. Melham Carl-Johan H. Seger

Published in: FMCAD (2007)

Keyphrases

automatic evaluation
genetic algorithm
high level
fully automatic
evaluation method
database
artificial intelligence
semi automatic
evaluation criteria
evaluation methods