a3/5discussion.tex

   1 % Comparison between tools and how fit the tools we choose were
   2
   3 % Discuss and classify the MBT tools that you used, compare them, compare with
   4 % Manual testing, and reflect on the theory:
   5 % • What is implementation relation?
   6 % • Is there support for non-determinism, concurrency?
   7 % • Are the generated tests sound, exhaustive? Why do you think so?
   8 % • Which method of test test selection is used?
   9 % • What is the modeling notation, its expressiveness, and ease of use?
  10 % • Do the tools use on/off-line testing (on-the-fly/batch)?
  11 % • Do they support both: test input generation and output checking?