Separation of Transitions, Actions, and Exceptions in Model-Based Testing.

Published in: EUROCAST (2009)

Keyphrases

model based testing
test cases
state transitions
software development
software design
artificial intelligence
software testing
learning algorithm
data structure
security policies