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 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
Jury from October 15, 2021
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Marie-Christine Jakobs (representing CoVeriTest), TU Darmstadt, Germany
- Kaled Alshmrany (representing FuSeBMC), University of Manchester, UK / Institute of Public Administration, Saudi Arabia
- Gidon Ernst (representing Legion, Legion/SymCC), LMU Munich, Germany
- Hoang M. Le (representing LibKluzzer), University of Bremen, Germany
- Thomas Lemberger (representing PRTest), LMU Munich, Germany
- Marek Chalupa (representing Symbiotic), Masaryk University, Brno, Czechia
- Joxan Jaffar (representing TracerX), National University of Singapore, Singapore
- Raveendra Kumar Medicherla (representing VeriFuzz), Tata Consultancy Services, India