GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Software Testing and Debugging Techniques

Software Testing and Debugging Techniques

191 faculty research Software Testing and Debugging Techniques on GradNova.

J
Machine Learning
Population-Based Algorithms
Probabilistic Models
Engineering and Test Systems
+4
J
Advanced Malware Detection Techniques
Blockchain Technology Applications and Security
Software Engineering Research
Software Reliability and Analysis Research
+1
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
X
AI Security
Computer Security
IoT & Embedded System Security
Mobile & Software Security
+8
A
AI in Health Care
And Quantum Machine Learning
Applied AI
Data Analytics
+10
H
Advanced Control Systems Optimization
Adversarial Robustness in Machine Learning
Formal Methods in Verification
Gene Regulatory Network Analysis
+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 Reliability and Analysis Research
Software System Performance and Reliability
+1
B
Bob Edmison

Collegiate Associate Professor and Online Teaching and Learning Coordinator

Computer Science

Virginia Tech

Online and Blended Learning
Online Learning and Analytics
Software Engineering Research
Software Testing and Debugging Techniques
+1
A
Security and Verification in Computing
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
R
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Petri Nets in System Modeling
+1
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
F
Formal Methods in Verification
Natural Language Processing Techniques
Software Engineering Research
Software Testing and Debugging Techniques
+1
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
Y
Advanced Malware Detection Techniques
Digital and Cyber Forensics
Network Security and Intrusion Detection
Security and Verification in Computing
+1
Z
Fabrication
Formal Methods
Programming Languages
Parallel Computing and Optimization Techniques
+4
R
Data Mining
Security & Privacy
Software Engineering
Software Testing and Debugging Techniques
+4
N
Computing Education
Algorithms and Data Compression
Network Packet Processing and Optimization
Semigroups and Automata Theory
+2
M
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
Software Engineering Techniques and Practices
+1
B
Bill Bird

Associate Teaching Professor, Acting Associate Chair Undergraduate and Combined Program Advisor for MATH/CSC

Computer Science

University of Victoria

Computer Science Education
Data Compression
Linear Algebra
Optimization
+5
2

...

8
Next