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.

L
Formal Methods in Verification
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Software Engineering Research
+1
J
Parallel Computing and Optimization Techniques
Software Engineering Research
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
+1
H
Android
Augmented Reality
Robotics
Virtual Reality
+4
C
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
Software Testing and Debugging Techniques
+1
L
Educational Games and Gamification
Online Learning and Analytics
Software Engineering Research
Software Testing and Debugging Techniques
+1
R
Educational Games and Gamification
Interactive and Immersive Displays
Software Testing and Debugging Techniques
Tactile and Sensory Interactions
+4
A
Automated Analysis of Fault-Tolerance
Formal Methods
Software Engineering
Distributed Systems and Fault Tolerance
+4
L
Applications of AI and ML to Energy (microgrids, Power Systems), Health, and Other Domains
Artificial Intelligence and Machine Learning
Data Mining and Data Science
Bayesian Modeling and Causal Inference
+4
X
Machine Learning
Programming Language Theory
Software Engineering
Software Testing and Debugging Techniques
+4
J
Brain Inspired Artificial Intelligence
Internet Technologies
Multi-Agent Systems
Societal Impacts of AI
+4
M
Formal Methods in Verification
Software Testing and Debugging Techniques
VLSI and Analog Circuit Testing
Social Media and Politics
+2
G
Diabetic Foot Ulcer Assessment and Management
Enzyme Production and Characterization
Greenhouse Technology and Climate Control
Plant Pathogens and Fungal Diseases
+1
R
Advanced Software Engineering Methodologies
Formal Methods in Verification
Software Engineering Research
Software Reliability and Analysis Research
+1
J
Advanced Software Engineering Methodologies
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Reliability and Analysis Research
+1
T
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Software Engineering Research
+1
K
Communication Protocols
Computer Networks
Telecommunications
Wireless Networking
+5
A
Anton Dahbura

Executive Director of the Johns Hopkins University Information Security Institute and Co-Director of the Johns Hopkins Institute for Assured Autonomy

Computer Science

Johns Hopkins University

Assured Autonomy
Fault-Tolerant Computing
Information Security
Protocol Conformance Testing
+7
A
Business Process Modeling and Analysis
Formal Methods in Verification
Petri Nets in System Modeling
Software Reliability and Analysis Research
+1
L
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Testing and Debugging Techniques
W
Advanced Malware Detection Techniques
Software Engineering Research
Software Reliability and Analysis Research
Software System Performance and Reliability
+1
S
Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science

Computer Science

Indiana University Indianapolis

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
Q
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
A
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
V
Formal Methods in Verification
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
+1
Previous
1

...

578
Next