Test Coverage for Continuous and Hybrid Systems.

Tarik Nahhal Thao Dang

Published in: CAV (2007)

Keyphrases

hybrid systems
intelligent systems
meta learning
black box
soft computing
neural network
artificial intelligence
test cases
discrete event
search algorithm
computational intelligence
genetic algorithm
training data
knowledge acquisition
orders of magnitude
dynamic systems