Program Committee / Competition Jury
"The jury is the advisory board of the competition, is responsible for qualification decisions on tools and benchmarks, and serves as program committee for the reviewing and selection of papers to be published in conference proceedings or a journal. The jury ensures transparency of the competition organization and judges qualification of participants (but not their performance, which is computed using a scoring schema from the results). The jury is also responsible for new competition rules and deciding on new categories." [Competition Report for Test-Comp 2019]
In more detail, the tasks of the jury comprises the following:
- Each jury member who participates in the competition is assigned a number of (3 or 4) submissions (papers and systems) to review.
- Participating systems are reviewed to determine whether they fulfill the requirements for verifier archives, based on the archives submitted to the repository.
- Teams and paper submissions are reviewed to verify the requirements for qualification, based on the submission data and paper in EasyChair and the results of the qualification runs.
- Some qualified competition candidates are selected to publish (in the LNCS proceedings of FASE) a contribution paper that gives an overview of the participating system.
- Help the organizer with discussing and resolving any disputes that might occur.
- Adhere to the deadlines with all the duties.
Jury from October 21, 2025
Announced on/after registration deadline (sorted by tester name)
Jury from October 12, 2024
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Marie-Christine Jakobs (representing CoVeriTest), LMU Munich, Germany
- Chenfeng Wei (representing ESBMC-incr), University of Manchester, UK
- Chenfeng Wei (representing ESBMC-kind), University of Manchester, UK
- Zhenbang Chen (representing FDSE), National University of Defense Technology, China
- Marek Trtík (representing Fizzer), Masaryk University, Brno, Czechia
- Kaled Alshmrany (representing FuSeBMC), University of Manchester / Institute of Public Administration, UK / Saudi Arabia
- Aleksandr Misonizhnik (representing KLEEF), Independent Researcher, Neutral
- Thomas Lemberger (representing PRTest), LMU Munich, Germany
- Christophe Meudec (representing Sikraken), South East Technological University, Ireland
- Martin Jonáš (representing Symbiotic), Masaryk University, Brno, Czechia
- Joxan Jaffar (representing TracerX), National University of Singapore, Singapore
- Joxan Jaffar (representing TracerX-WP), National University of Singapore, Singapore
- Max Barth (representing UTestGen), LMU Munich, Germany