1 % Possible tools and which ones did we chose:
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.)
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.
11 \subsection{JTorx of Graphwalker ofzo
}