Subdomain testing of units and systems with state.

Published in: ISSTA (2006)

Keyphrases

test cases
machine learning
expert systems
state space
intelligent systems
database
data sets
neural network
decision trees
multiscale
finite state machines
dynamic constraints