Plannable Test Selection Criteria for FSMs Extracted From Operational Specifications.

Amit M. Paradkar

Published in: ISSRE (2004)

Keyphrases

selection criteria
finite state machines
model selection criteria
high level
formal specification
automatically generated
automatically extracted
real time
machine learning
information systems
decision trees
data structure
software development
model checking
statistical tests
control flow