@@ -33,18 +33,21 @@ can be set to higher values. We executed a random test suite with {\dk} of 4 com
...
@@ -33,18 +33,21 @@ can be set to higher values. We executed a random test suite with {\dk} of 4 com
We then ran an exhaustive test suite with {\dk} of 2 for for all implementations.
We then ran an exhaustive test suite with {\dk} of 2 for for all implementations.
Table~\ref{tab:experiments} describes the exact versions of the systems analyzed together with statistics on learning and testing, namely:
Table~\ref{tab:experiments} describes the exact versions of the systems analyzed together with statistics on learning and testing, namely:
(1) the number of states in the learned model, (2) the number of hypotheses built during the learning process and (3) the total number of
(1) the number of states in the learned model, (2) the number of hypotheses built during the learning process and (3) the total number of learning and test queries run. For test queries, we only consider those run on the last hypothesis.
learning and test queries run.
%BitVise: MemQ: 24996 TestQ: 58423
%Dropbear: MemQ: 3561 TestQ: 30629
%OpenSSH: MemQ: 19836 TestQ: 76418
\begin{table}[!ht]
\begin{table}[!ht]
\centering
\centering
\small
\begin{tabular}{|l|l|l|l|l|l|l|}
\begin{tabular}{|l|l|l|l|l|l|l|}
\hline
\hline
{\centering{\textbf{SUT}}}&\textbf{States}&\textbf{Hypotheses }&\textbf{Num. Queries}\\\hline%& \textbf{Tests to last Hyp.} & \textbf{Tests on last Hyp.} \\ \hline
{\centering{\textbf{SUT}}}&\textbf{States}&\textbf{Hypotheses }&\textbf{Mem. Q.}&\textbf{Test Q.}\\\hline%& \textbf{Tests to last Hyp.} & \textbf{Tests on last Hyp.} \\ \hline
