Table 2: Results showing the VC length in the execution trace from the bug activation to the bug-related violation 𝑉 and the number of total violations in each test.

TestVC length/Tot. violationsVC length/Tot. violationsVC length/Tot. violations
by metric  1by metric  2by metric  3

173/5961/5961/596
21/772/771/77
339/2933/2933/293
4142/168133/168126/168
549/3011/3011/301
6211/29113/29113/291
7109/1723/1723/172
887/2315/2315/231
91/4622/4622/46
101/311/311/31
1116/564/564/56
1221/1336/1336/133
1323/1295/1295/129
14276/312*211/312*19/312*
1537/932/932/93
161/432/431/43
172/771/771/77
18123/149*61/149*33/149*
1916/211103/2113/211
201/371/371/37