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.

S
Shiva Darian

Assistant Professor, Tenure Track and Research Faculty

Computer Science

New Mexico State University

Algorithmic Folk Theories
Citizen Data Science
Computer Supported Cooperative Work
Digital Activism
+8
H
Android
Ar.
Graduation Certification 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
L
Leo C. Ureel II

Associate Professor, Computer Science; Associate Professor, Psychology and Human Factors; Coordinator, College of Computing Learning Center

Computer Science

Michigan Technological University

Cognitive Science
Computer Science Education
Human Factors
Machine Learning
+7
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
AI Safety and Robustness
Logic Programming
Machine Learning
Neuro-Symbolic Learning and Reasoning
+8
J
Brain Inspired Artificial Intelligence
Internet Technologies
Multi-Agent Systems
Societal Impacts of AI
+4
M
Mohammed Ghriga

Ph. D. Department Chair Associate Professor Computer Science

Computer Science

Long Island University

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
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
Software Engineering Research
Software Reliability and Analysis 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
W
Advanced Malware Detection Techniques
Software Engineering Research
Software Reliability and Analysis Research
Software System Performance and Reliability
+1
S
Advanced Software Engineering Methodologies
Formal Methods in Verification
Homotopy and Cohomology in Algebraic Topology
Service-Oriented Architecture and Web Services
+1
S
Sam Tobin-Hochstadt

Director of Undergraduate Studies for Computer Science, Associate Professor

Computer Science

Indiana University

Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
E
Elena Leah Glassman

Assistant Professor of Computer Science

Computer Science

Harvard University

Online Learning and Analytics
Software Engineering Research
Software Testing and Debugging Techniques
Teaching and Learning Programming
+1
Q
Advanced Malware Detection Techniques
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
Software Engineering Research
+1
B
Brendan Saltaformaggio

Associate Professor in SCP, Joint with the School…

College of Computing

Georgia Institute of Technology

Advanced Malware Detection Techniques
Digital and Cyber Forensics
Network Security and Intrusion Detection
Security and Verification in Computing
+1
A
Cryptography and Data Security
Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
+1
K
Kuldeep S. Meel

Stephen Fleming Early-Career Associate Professor

College of Computing

Georgia Institute of Technology

Bayesian Modeling and Causal Inference
Data Management and Algorithms
Formal Methods in Verification
Machine Learning and Algorithms
+1
Previous
1

...

1113

...

15
Next