Automated Software Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software testing
software analysis
software reliability
validation
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
automated verification
software model checking
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
validation
trustworthy artificial intelligence
software systems
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
software quality assurance
verification
software analysis
software modeling
View Professor Profile
Professor
Professor Profile
Xue Jun Cheng
University of Melbourne Australia
software testing
software analysis
software reliability
software optimization
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
formal verification
validation
test design automation
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
software quality assurance
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
software quality
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
secure software
dependable software
View Professor Profile
Professor
Professor Profile
Limin Jia
Carnegie Mellon University United States of America
formal software verification
network verification
software security
View Professor Profile
Professor
Professor Profile
Daniel Dig
University of Illinois United States of America
software testing
verification
validation
View Professor Profile
Professor
Professor Profile
Song Wang
York University Canada
software testing
software reliability
software analytics
View Professor Profile
Professor
Professor Profile
Song Wang
York University Canada
software testing
software reliability
software analytics
View Professor Profile
Professor
Professor Profile
Rafi Almhanna
University of Chicago United States of America
software quality assurance
software maintenance
artificial intelligence in software engineering
View Professor Profile
Professor
Professor Profile
Gail Kaiser
Columbia University United States of America
software testing
software security
software systems
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
verification
validation
software specification
View Professor Profile
Professor
Professor Profile
Kerstin Eder
University of Bristol United Kingdom
verification
validation
test design automation
View Professor Profile
Professor
Professor Profile
Robert Schiela
Carnegie Mellon University United States of America
software process improvement
software quality
software development
View Professor Profile
Professor
Professor Profile
Ahmad Abdel Latif
University of Calgary Canada
software bots
software quality
artificial intelligence in software engineering
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
First
Prev
Page 1 | 1135 Results
Next