Software Specification Verification Professors in Global

Search By
Location
Location
Searching Globally
Professor
Professor Profile
Xue Jun Cheng
University of Melbourne Australia
software testing
software reliability
software analysis
software optimization
software performance
software engineering
View Professor Profile
Professor
Professor Profile
Denise Woit
Toronto Metropolitan University Canada
software verification
software testing
software reliability
software analysis
validation
View Professor Profile
Professor
Professor Profile
Juergen Dingel
Queen's University Canada
software quality assurance
software analysis
verification
software engineering
software modeling
View Professor Profile
Professor
Professor Profile
David Parker
University of Oxford United Kingdom
software model checking
automated verification
verification
probabilistic verification
View Professor Profile
Professor
Professor Profile
Eun-young Kang
University of Southern Denmark Denmark
software quality assurance
verification & validation
software engineering
software methodology
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
software testing
specification languages
software engineering
code conformance
View Professor Profile
Professor
Professor Profile
Sarfraz Khurshid
University of Texas at Austin United States of America
software testing
specification languages
software engineering
code conformance
View Professor Profile
Professor
Professor Profile
Miroslaw Staron
University of Gothenburg Sweden
software metrics
software technology
software design
software engineering
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
software verification
software validation
software quality assurance
View Professor Profile
Professor
Professor Profile
Karthik Pattabiraman
University of British Columbia Canada
software verification
software testing
secure 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
Sebastian Uchitel
Imperial College London United Kingdom
automated software verification
software quality assurance
software engineering
View Professor Profile
Professor
Professor Profile
Lionel Briand
University of Ottawa Canada
software verification
validation
software engineering
View Professor Profile
Professor
Professor Profile
Yvan Labiche
Carleton University Canada
verification and validation of software systems
software quality assurance
software engineering
View Professor Profile
Professor
Professor Profile
Xujie Si
University of Toronto Canada
automated software verification
verification
software quality
View Professor Profile
Professor
Professor Profile
Hakan Erdogmus
Carnegie Mellon University United States of America
software testing and verification
software quality measurement
software engineering
View Professor Profile
Professor
Professor Profile
Søren Christensen
Aarhus University Denmark
software specification
verification
validation
View Professor Profile
Professor
Professor Profile
Gang Tan
Pennsylvania State University United States of America
program verification
software security
software engineering
View Professor Profile
Professor
Professor Profile
Patrick Lam
University of Waterloo Canada
program verification
verifiable software specifications
specification languages
software engineering
View Professor Profile
Professor
Professor Profile
Burak Turhan
Monash University Australia
software testing
software quality assurance
software engineering
View Professor Profile
Professor
Professor Profile
Song Wang
York University Canada
software testing
software reliability
software engineering
View Professor Profile
First
Prev
Page 1 | 1143 Results
Next