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 To test the TCP model of Section~\ref{sec:modeling} two tools have been
   8 considered. \GAST and JTorx. The sections below discuss the upsides and
   9 downsides of these tools in regard to testing the SUT.
  10
  11 \subsection{JTorx of Graphwalker ofzo}
  12
  13 \subsection{\GAST}