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