Slide 1MBTsuite The Testing Framework Slide 2 2 MBT does not mean: additional effort for modeling BUT modeling instead of writing test cases MBTsuite - the testing Framework…