Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation.

Yan Chen Yujing He Fei Xie Jin Yang

Published in: FMCAD (2007)

Keyphrases

automatic evaluation
high level
semi automatic
fully automatic
evaluation method
evaluation model
real time
information systems
evaluation criteria
neural network
machine learning
data driven
evaluation measures
gold standard
comparative evaluation