Databases Reference
In-Depth Information
TABLE 4.2: Number and Percentage of Confirmed Protocols Inferred for
java.util
Conrmed
Program
FSMs
By identity
By inclusion
Overall
antlr
2
0
0
0%
chart
2
0
0
0%
eclipse
54
3
3
11%
fop
15
2
2
27%
hsqldb
0
0
0
0%
jython
22
2
5
32%
luindex
5
2
0
40%
lusearch
2
2
0
100%
pmd
6
0
1
17%
xalan
10
1
4
50%
Average
28%
40
jython
35
xalan
30
lusearch
25
20
chart
15
hsqldb
10
luindex
5
fop
antlr
pmd,eclipse
0
0
10
20
30
40
50
60
70
80
90
Events (million)
FIGURE 4.10: Runtime of the analysis by number of events in the analyzed
trace files.
Search WWH ::
Custom Search