-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathefficiency-abs-mut-table.tex
120 lines (98 loc) · 3.84 KB
/
efficiency-abs-mut-table.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
\begin{table}
\center
%\vspace{5pt}
\caption{Results showing the effects of our \textbf{function coverage maximization}, \textbf{function state reduction}, and \textbf{mutation-based oracle generation} algorithms.}
\label{Table:efficiency-abs-mut-table}
{\scriptsize
% \subtable[Experimental subjects and the corresponding exploration data]
{
\begin{tabular}{c|r|r||r|r|r||r|r|r} \hline
&\multicolumn{2}{c||}{\thead{St. Coverage}} & \multicolumn{3}{c||}{\thead{State Reduction}} & \multicolumn{3}{c}{\thead{Oracles}}\\
\cline{2-9}
\theadturn{App ID} &
\theadturn{Fun. cov. maximize (\%)} & \theadturn{Random exploration (\%)}
&\theadturn{\#Func.States w/o reduction} &\theadturn{\#Func.States with reduction} &\theadturn{Func.State Reduction (\%)}
%&\multicolumn{2}{c}{\thead{Assertions}} \\
%\cline{5-6}&
&\theadturn{\#Assertions w/o mutation-reduction} & \theadturn{\#Assertions with reduction only} & \theadturn{\#Assertions with mutation-reduction} \\ \hline
\hline
1 & 99 & 80 & 447 & 42 & 91 & 5101 & 273 & 171\\
2 & 78 & 78 & 828 & 23 & 97 & 23212 & 128 & 91\\
3 & 90 & 66 & 422 & 22 & 95 & 3520 & 137 & 69 \\
4 & 75 & 75 & 43 & 18 & 58 & 1232 & 131 & 105\\
5 & 49 & 45 & 534 & 31 & 94 & 150 & 124 & 103\\
6 & 78 & 75 & 797 & 38 & 95 & 1648 & 203 & 149\\
7 & 63 & 58 & 1653 & 58 & 96 & 198202 & 522 & 365\\
8 & 56 & 50 & 32 & 23 & 28 & 78 & 71 & 67 \\
9 & 82 & 82 & 1509 & 51 & 97 & 65403 & 417 & 259 \\
10 & 71 & 69 & 71 & 22 & 69 & 6584 & 136 & 94 \\
11 & 56 & 54 & 1383 & 136 & 90 & 2530 & 549 & 334 \\
12 & 41 & 38 & 1530 & 64 & 96 & 3521 & 253 & 193 \\
13 & 51 & 47 & 1401 & 161 & 88 & 2481 & 638 & 361 \\ \hline
AVG& 68.4 & 62.8 & - & - & 84.1 & - & - & - \\ \hline
\hline\end{tabular}\centering
}
}
\vspace{-0.18in}
\end{table}
%\begin{table}
%%\vspace{5pt}
%\centering
% \caption{Results showing the effects of our \textbf{function coverage maximization}, \textbf{function state reduction}, and \textbf{mutation-based oracle generation} algorithms.}
% \label{Table:efficiency-abs-mut-table}
%{\scriptsize
%
% % \subtable[Experimental subjects and the corresponding exploration data]
% {
% \begin{tabular}{c|c|c||c||>{\centering}b{1.3cm}|c||>{\centering}b{1.3cm}|c||c|c} \hline
%&\multicolumn{2}{c||}{\thead{St. Coverage}}
%& \multirow{3}{*}{\theadturn{\#Function states w/o state removal}} &
%\multicolumn{2}{c||}{\thead{St. Reduction-Mutation}} & \multicolumn{2}{c||}{\thead{St. Mutation-Reduction}} & \multicolumn{2}{c}{\thead{Oracles}}\\
%\cline{2-3} \cline{5-10}
%
%\theadturn{App ID} &
%
%\theadturn{Fun. cov. maximize (\%)} & \theadturn{Random exploration (\%)} &&\theadturn{\#Func.States using Reduc-Mut } &\theadturn{Func.State Reduction (\%)}
% &\theadturn{\#Func.States using Mut-Reduc } &\theadturn{Func.State Reduction (\%)}
%%&\multicolumn{2}{c}{\thead{Assertions}} \\
%%\cline{5-6}&
%
%&\theadturn{\#Assertions w/o mutation} &\theadturn{\#Assertions with mutation} \\
%&&&&&&&&& \\
% \hline
%
%\hline
%
%1 & 99 & 80 & 447 & 33 & 93 & & & 5101 & 136\\
%
%2 & 78 & 78 & 828 & 21 & 97 & & & 23212 & 81\\
%
%3 & 90 & 66 & 422 & 14 & 96 & & & 3520 & 45 \\
%
%4 & 75 & 75 & 43 & 19 & 56 & & & 1232 & 109\\
%
%5 & 49 & 45 & 534 & 23 & 95 & & & 150 & 79\\
%
%6 & 78 & 75 & 797 & 30 & 96 & & & 1648 & 125\\
%
%7 & 63 & 58 & 1653 & 54 & 97 & & & 198202 & 342\\
%
%8 & 56 & 50 & 32 & 18 & 43 & & & 78 & 51 \\
%
%9 & 82 & 82 & 1509 & 49 & 97 & & & 65403 & 253 \\
%
%10 & 71 & 69 & 71 & 23 & 67 & & & 6584 & 96 \\
%
%11 & 56 & 54 & 1383 & 131 & 90 & & & 2530 & 318 \\
%
%12 & 41 & 38 & 1530 & 62 & 96 & & & 3521 & 184 \\
%
%13 & 51 & 47 & 1401 & 152 & 89 & & & 2481 & 335 \\ \hline
%
%AVG& 68.4 & 62.8 & - & - & 85.5 & & & - & - \\ \hline
%
%\hline\end{tabular}\centering
% }
%}
%\vspace{-0.18in}
%\end{table}