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:

Jury from October 21, 2022

(sorted by verifier name)


Jury from October 15, 2021

(sorted by tester name)