Gnuplot
Produced by GNUPLOT 5.2 patchlevel 8
0
20
40
60
80
100
120
140
0
20
40
60
80
100
Min. number of test tasks
Cumulative score
CMA-ES-Fuzz
CMA-ES-Fuzz
CoVeriTest
CoVeriTest
FuSeBMC
FuSeBMC
HybridTiger
HybridTiger
KLEE
KLEE
Legion
Legion
Legion-SymCC
Legion-SymCC
LibKluzzer
LibKluzzer
PRTest
PRTest
Symbiotic
Symbiotic
TracerX
TracerX
VeriFuzz
VeriFuzz