Reproducing Test-Comp Results
A description on how we make the results of the competition reproducible
can be found in the
competition report;
the components that are listed below in the table are described in Sect. 4 "Reproducibility".
Here is the list of components that were used for Test-Comp 2021:
Repositories
Reproduction Archives
Verifiers
| Tool |
Lang. |
Jury member |
Affiliation |
Archive |
Bechmark definition |
Publication |
|
Overview
|
Chair
|
Dirk Beyer
|
LMU Munich, Germany
|
|
|
|
|
CMA-ES Fuzz
|
C
|
Hors Concours
|
--, --
|
cmaesfuzz.zip
|
cmaesfuzz.xml
|
...
|
|
CoVeriTest
|
C
|
Marie-Christine Jakobs
|
TU Darmstadt, Germany
|
coveritest.zip
|
coveritest.xml
|
...
|
|
FuSeBMC
|
C
|
Kaled Alshmrany
|
University of Manchester / Institute of Public Administration, UK / Saudi Arabia
|
FuSeBMC.zip
|
FuSeBMC.xml
|
...
|
|
HybridTiger
|
C
|
Hors Concours
|
--, --
|
hybridtiger.zip
|
hybridtiger.xml
|
...
|
|
KLEE
|
C
|
Hors Concours
|
--, --
|
klee.zip
|
klee.xml
|
...
|
|
Legion
|
C
|
Gidon Ernst
|
LMU Munich, Germany
|
legion.zip
|
legion.xml
|
...
|
|
Legion/SymCC
|
C
|
Gidon Ernst
|
LMU Munich, Germany
|
legion-symcc.zip
|
legion-symcc.xml
|
...
|
|
LibKluzzer
|
C
|
Hoang M. Le
|
University of Bremen, Germany
|
libkluzzer.zip
|
libkluzzer.xml
|
...
|
|
PRTest
|
C
|
Thomas Lemberger
|
LMU Munich, Germany
|
prtest.zip
|
prtest.xml
|
...
|
|
Symbiotic
|
C
|
Marek Chalupa
|
Masaryk University, Brno, Czechia
|
symbiotic.zip
|
symbiotic.xml
|
...
|
|
TracerX
|
C
|
Joxan Jaffar
|
National University of Singapore, Singapore
|
tracerx.zip
|
tracerx.xml
|
...
|
|
VeriFuzz
|
C
|
Raveendra Kumar Medicherla
|
Tata Consultancy Services, India
|
verifuzz.zip
|
verifuzz.xml
|
...
|
Validators
