Automated Verification Testing Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
probabilistic verification
verification
software model checking
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
test design automation
formal verification
validation
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
testing
View Professor Profile
Professor
Professor Profile
Warren Hunt
University of Texas at Austin United States of America
automated theorem-proving
program verification
hardware 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
Chen-wei Wang
York University Canada
automated model-based verification
using model checking to verify real-time systems
formal validation
View Professor Profile
Professor
Professor Profile
Clark Barrett
Stanford University United States of America
software verification
hardware verification
automated reasoning
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
validation
software testing
View Professor Profile
Professor
Professor Profile
Viktor Kuncak
École Polytechnique Fédérale de Lausanne Switzerland
systems verification
formal verification
automated reasoning
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
Paul Brostean
Uppsala University Sweden
security testing
software testing
automata learning
View Professor Profile
Professor
Professor Profile
Arie Gurfinkel
University of Waterloo Canada
automated program analysis
automated reasoning
software model checking
View Professor Profile
Professor
Professor Profile
Hadi Hemmati
York University Canada
software testing
automated software engineering
applied machine learning
View Professor Profile
Professor
Professor Profile
Ken Mcmillan
University of Texas at Austin United States of America
deductive verification
automated abstraction
specification-based testing
View Professor Profile
Professor
Professor Profile
Michalis Kokologiannakis
Max Planck Institute for Software Systems Germany
automated verification testing
software verification
View Professor Profile
Professor
Professor Profile
Andrzej Murawski
University of Oxford United Kingdom
automated verification
software verification
View Professor Profile
Professor
Professor Profile
Jamal Bentahar
Concordia University Canada
automatic verification
validation
View Professor Profile
Professor
Professor Profile
Ronghui Gu
Columbia University United States of America
systems verification
proof automation
View Professor Profile
Professor
Professor Profile
Aina Niemetz
Stanford University United States of America
automated testing
automated reasoning
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
View Professor Profile
Professor
Professor Profile
Jeroen Keiren
Eindhoven University of Technology Belgium
software verification
hardware verification
View Professor Profile
First
Prev
Page 1 | 1188 Results
Next