Ascent++
Search
behavior
aspect of
neighbor
,
8
assertions
HasProperty
7
unacceptable
0.59
wrong
0.36
undefined
0.36
illegal
0.36
normal
0.25
consistent
0.25
suspicious
0.16
ReceivesAction
1
repeated
0.16