a3/2tools.tex

   1 % Possible tools and which ones did we chose:
   2
   3 % Search for model-based testing tools, select two MBT tools, and
   4 % argue why you selected these
   5 % tools. (See also the list of MBT tools below.)
   6
   7 \subsection{JTorx of Jwhatever ofzo}
   8
   9 \subsection{\GAST}