Tutorial: State-based Modeling and Test Generation

Learning Objectives:

• How to create a state-based model
• Make changes to the model
• Test the model - generate test cases
• Model graphs and test visualization