4tests.tex

   1 % testcases, results and discussion on results:
   2
   3 % Write your model in the input language of the selected MBT tools, generate
   4 %  tests, and execute
   5 % them on your SUT. Explain your observations and analyse the test results.