Verification And Testing Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
verification
automated verification
probabilistic verification
software model checking
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
verification & validation
dependability & reliability
model-checking
safety & security
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software testing
software reliability
View Professor Profile
Professor
Professor Profile
Paul Brostean
Uppsala University Sweden
security testing
software testing
model checking
network protocol testing
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
verification
automated software verification
testing
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
verification
validation
software testing
View Professor Profile
Professor
Professor Profile
Clare Dixon
University of Manchester United Kingdom
verification
specification verification
theorem-proving
View Professor Profile
Professor
Professor Profile
Koushik Sen
University of California, Berkeley United States of America
verification
software testing
model checking
View Professor Profile
Professor
Professor Profile
Gregory Gay
University of Gothenburg Sweden
verification
software testing
reliability
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
software verification
automated verification
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
software verification
automated verification testing
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
system verification
formal verification
View Professor Profile
Professor
Professor Profile
Randal Bryant
Carnegie Mellon University United States of America
software verification
formal verification
View Professor Profile
Professor
Professor Profile
David Dill
Stanford University United States of America
software verification
hardware verification
formal verification
View Professor Profile
Professor
Professor Profile
Jaco Van De Pol
Aarhus University Denmark
software specification and verification
formal verification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
validation
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
verification
validation
View Professor Profile
Professor
Professor Profile
Robert Gracie
University of Waterloo Canada
verification
validation
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
verification
testing
View Professor Profile
Professor
Professor Profile
Michael Ernst
University of Washington United States of America
verification
testing
View Professor Profile
First
Prev
Page 1 | 1042 Results
Next