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".
An overview over all components that were uses in the competition can be found on the reproduction page.
Tools for Test Generation
| Tool | Lang. | Jury member | Affiliation | Archive | Bechmark definition | Publication |
| Overview | Chair | Dirk Beyer | LMU Munich, Germany | |||
| cetfuzz | C | Sumesh Divakaran | College of Engineering Trivandrum, India | 10207018 | cetfuzz.xml | ... |
| CoVeriTest | C | Marie-Christine Jakobs | LMU Munich, Germany | 10066216 | coveritest.xml | ... |
| ESBMC-kind | C | Hors Concours | --, -- | 10412876 | esbmc-kind.xml | ... |
| FDSE | C | Zhenbang Chen | National University of Defense Technology, China | 10203198 | fdse.xml | ... |
| Fizzer | C | Marek Trtík | Masaryk University, Brno, Czechia | 10183158 | fizzer.xml | ... |
| FuSeBMC-AI | C | Mohannad Aldughaim | University of Manchester / King Saud University, UK / Saudi Arabia | 10199336 | fusebmc-ia.xml | ... |
| FuSeBMC | C | Kaled Alshmrany | University of Manchester / Institute of Public Administration, UK / Saudi Arabia | 10113374 | fusebmc.xml | ... |
| HybridTiger | C | Hors Concours | --, -- | 10412240 | hybridtiger.xml | ... |
| KLEEF | C | Yurii Kostyukov | RnD Toolchain Labs, Huawei, China | 10202734 | kleef.xml | ... |
| KLEE | C | Hors Concours | --, -- | 10412702 | klee.xml | ... |
| Legion/SymCC | C | Hors Concours | --, -- | 10412853 | legion-symcc.xml | ... |
| Legion | C | Hors Concours | --, -- | 10412740 | legion.xml | ... |
| Owi | C, Wasm | Léo Andrès | OCamlPro / LMF, France | 10213245 | owic.xml | ... |
| PRTest | C | Thomas Lemberger | LMU Munich, Germany | 10057463 | prtest.xml | ... |
| Rizzer | C | Adam Štafa | Masaryk University, Brno, Czechia | 10202006 | rizzer.xml | ... |
| Symbiotic | C | Martin Jonáš | Masaryk University, Brno, Czechia | 10202594 | symbiotic.xml | ... |
| TracerX-WP | C | Joxan Jaffar | National University of Singapore, Singapore | 10202605 | tracerx-wp.xml | ... |
| TracerX | C | Joxan Jaffar | National University of Singapore, Singapore | 10200610 | tracerx.xml | ... |
| UTestGen | C | Max Barth | LMU Munich, Germany | 10071568 | utestgen.xml | ... |
| WASP-C | C | Hors Concours | --, -- | 10412766 | wasp-c.xml | ... |
Tools for Validation
| Tool | Lang. | Format | Contact | Affiliation | Archive | Bechmark definition | Publication |
| TestCov | C | Test Suites | Matthias Kettl | LMU Munich, Germany | 10203746 | testcov.xml | ... |