Program Committee / 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 November 1, 2023
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Sumesh Divakaran (representing cetfuzz), College of Engineering Trivandrum, India
- Marie-Christine Jakobs (representing CoVeriTest), LMU Munich, Germany
- Zhenbang Chen (representing FDSE), National University of Defense Technology, China
- Marek Trtík (representing Fizzer), Masaryk University, Brno, Czechia
- Mohannad Aldughaim (representing FuSeBMC-AI), University of Manchester / King Saud University, UK / Saudi Arabia
- Kaled Alshmrany (representing FuSeBMC), University of Manchester / Institute of Public Administration, UK / Saudi Arabia
- Yurii Kostyukov (representing KLEEF), RnD Toolchain Labs, Huawei, China
- Léo Andrès (representing Owi), OCamlPro / LMF, France
- Thomas Lemberger (representing PRTest), LMU Munich, Germany
- Adam Štafa (representing Rizzer), Masaryk University, Brno, Czechia
- Martin Jonáš (representing Symbiotic), Masaryk University, Brno, Czechia
- Matthias Kettl (representing TestCov), LMU Munich, Germany
- Joxan Jaffar (representing TracerX-WP), National University of Singapore, Singapore
- Joxan Jaffar (representing TracerX), National University of Singapore, Singapore
- Max Barth (representing UTestGen), LMU Munich, Germany
Jury from October 21, 2022
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Marie-Christine Jakobs (representing CoVeriTest), TU Darmstadt, Germany
- Rafael Sá Menezes (representing ESBMC-kind), University of Manchester, UK
- Kaled Alshmrany (representing FuSeBMC), University of Manchester / Institute of Public Administration, UK / Saudi Arabia
- Mohannad Aldughaim (representing FuSeBMC_IA), University of Manchester / King Saud University, UK / Saudi Arabia
- Gidon Ernst (representing Legion/SymCC), LMU Munich, Germany
- Thomas Lemberger (representing PRTest), QAware GmbH, Germany
- Marek Trtík (representing Symbiotic), Masaryk University, Brno, Czechia
- Joxan Jaffar (representing TracerX), National University of Singapore, Singapore
- Raveendra Kumar Medicherla (representing VeriFuzz), Tata Consultancy Services, India
- Filipe Marques (representing WASP-C), INESC-ID, Lisbon, Portugal