Hernán Ponce de León
(Dartagnan)
Bundeswehr University Munich, Germany
Henrich Lauko (DIVINE)
Masaryk University, Czechia
Felipe R. Monteiro
(ESBMC)
Fed. Univ. of Amazonas, Brazil
Benjamin Quiring
(GACAL)
Northeastern University, USA
Vaibhav Sharma
(Java-Ranger)
University of Minnesota, USA
Philipp Ruemmer (JayHorn) Uppsala University, Sweden
Peter Schrammel (JBMC)
University of Sussex, UK
Falk Howar (JDart)
TU Dortmund, Germany
Omar Inverso (Lazy-CSeq)
Gran Sasso Science Institute, Italy
Herbert Rocha
(Map2Check)
Universidade Federal do Amazonas, Brazil
Philipp Berger (NITWIT)
RWTH Aachen, Germany
Cedric Richter (PeSCo)
Paderborn University, Germany
Saurabh Joshi (Pinaka)
IIT Hyderabad, India
Veronika Šoková
(PredatorHP)
BUT Brno, Czech Republic
Willem Visser (SPF)
Amazon Web Services, USA
Marek Chalupa (Symbiotic) Masaryk University, Czech Republic
Matthias Heizmann
(UAutomizer)
University of Freiburg, Germany
Alexander Nutz (UKojak)
University of Freiburg, Germany
Daniel Dietsch (UTaipan)
University of Freiburg, Germany
Priyanka Darke (VeriAbs)
Tata Consultancy Services, India
Raveendra K. Medicherla
(VeriFuzz)
Tata Consultancy Services, India
Liangze Yin
(Yogar-CBMC)
Nat. Univ. of Defense Technology, China
Steering Committee
Bernhard Steffen (Chair)
TU Dortmund, Germany
Dirk Beyer
LMU Munich, Germany
Rance Cleaveland
University of Maryland, USA
Holger Hermanns
Universität des Saarlandes, Germany
Kim G. Larsen
Aalborg University, Denmark
Organization
xiii