GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Software Testing and Debugging Techniques

Software Testing and Debugging Techniques

347 faculty research Software Testing and Debugging Techniques on GradNova.

R
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
+1
X
Computer Security
Catalysis and Hydrodesulfurization Studies
Software Testing and Debugging Techniques
Plant Stress Responses and Tolerance
+2
A
AI in Health Care
And Quantum Machine Learning
Applied AI
Data Analytics
+11
H
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Reinforcement Learning in Robotics
Robotic Path Planning Algorithms
+1
A
Software Engineering Research
Software Testing and Debugging Techniques
Teaching and Learning Programming
E
Erika Olimpiew

Collegiate Associate Professor

Computer Science

Virginia Tech

Advanced Software Engineering Methodologies
Model-Driven Software Engineering Techniques
Service-Oriented Architecture and Web Services
Software Reliability and Analysis Research
+1
N
Advanced Malware Detection Techniques
Software Engineering Research
Software Reliability and Analysis Research
Software System Performance and Reliability
+1
M
Cloud Computing and Resource Management
Scientific Computing and Data Management
Software Engineering Research
Software System Performance and Reliability
+1
S
Innovative Teaching and Learning Methods
Online Learning and Analytics
Software Engineering Research
Software Testing and Debugging Techniques
+1
B
Bob Edmison

Collegiate Associate Professor

Computer Science

Virginia Tech

Online and Blended Learning
Online Learning and Analytics
Software Engineering Research
Software Testing and Debugging Techniques
+1
M
Compiling
High-Level Programming Language
Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
+3
B
Software Engineering
Software Testing
Advanced Software Engineering Methodologies
Software Engineering Research
+3
A
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Quantum Computing Algorithms and Architecture
Software Engineering Research
+1
R
Application of Automated Reasoning Tools, Such as Model Checkers, to the Analysis of Reactive Systems, Including Computer Hardware and Software Systems; Embedded Systems; and Routing and Communication Protocols (of Particular Interest Are Compositional Reasoning and Abstraction Techniques for Coping With the State Explosion Problem in Model Checking)
Visual Notations for Describing Systems and Their Specifications; Automata on Infinite Objects; Temporal, Modal, and Description Logics; Internet-Based Routing and Communication Protocols; and Analysis of Parameterized Systems
Formal Methods in Verification
Logic, Programming, and Type Systems
+3
D
Derek Rayside

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Software Engineering Methodologies
Autonomous Vehicle Technology and Safety
Logic, Programming, and Type Systems
Software Engineering Research
+1
M
Diversity in Software Engineering
Empirical Software Engineering, Mining Software Repositories, Mining Mobile App Stores
Software Security, Static Analysis
Software Engineering Research
+4
F
Automated Reasoning, Programming Language Theory, Formal Methods, and Distributed Systems
Research Mission Is to Create Automated Reasoning Stacks That Do Not Require Users to Be Experts in Automated Reasoning
Software Testing and Debugging Techniques
Natural Language Processing Techniques
+3
O
My Research Interests Are in Programming Languages and Compilers. My Focus Is on Program Analysis of Object-Oriented Languages. I Am Currently Directing Most of My Attention to Scala.
Program Analysis of Object-Oriented Languages
Programming Languages and Compilers
Scala
+5
P
Patrick Lam

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Security and Verification in Computing
Software Engineering Research
+1
A
Arie Gurfinkel

Associate Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Software Reliability and Analysis Research
+1
S
Embedded Systems Design Techniques
Formal Methods in Verification
Parallel Computing and Optimization Techniques
Real-Time Systems Scheduling
+1
N
Formal Methods
Software Engineering
Software Requirements and Modelling
Formal Methods in Verification
+4
Y
Mobile and Smart Device Security
System and Software Security
Advanced Malware Detection Techniques
Security and Verification in Computing
+3
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
Previous
1

...

46

...

15
Next