Model-Based Testing (MBT)
Besides running the entire model, you can run the test to cover certain part of the model.
There are two ways to do this: