% Comparison between tools and how fit the tools we choose were

% Discuss and classify the MBT tools that you used, compare them, compare with 
% Manual testing, and reflect on the theory:
% • What is implementation relation?
% • Is there support for non-determinism, concurrency?
% • Are the generated tests sound, exhaustive? Why do you think so? 
% • Which method of test test selection is used?
% • What is the modeling notation, its expressiveness, and ease of use? 
% • Do the tools use on/off-line testing (on-the-fly/batch)?
% • Do they support both: test input generation and output checking?