Program Committee / Jury
Jury from November 25, 2018
(sorted by tester name)
- Dirk Beyer (Chair), LMU Munich, Germany
- Marie-Christine Jakobs (representing CoVeriTest), LMU Munich, Germany
- Sebastian Ruland (representing CPA/Tiger-MGP), TU Darmstadt, Germany
- Rafael Menezes (representing ESBMC-bkind 6.1), Federal University of Amazonas, Brazil
- Mikhail Gadelha (representing ESBMC-falsif 6.1), University of Southampton, UK
- Caroline Lemieux (representing FairFuzz), University of California at Berkeley, USA
- Cristian Cadar (representing KLEE), Imperial College London, UK
- Thomas Lemberger (representing PRTest), LMU Munich, Germany
- Martina Vitovská (representing Symbiotic), Masaryk University, Czechia
- Raveendra Kumar Medicherla (representing VeriFuzz), TCS, India