added something about the LTS model of TCP
[tt2015.git] / 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.)