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.

A
Advanced Malware Detection Techniques
Formal Methods in Verification
Software Engineering Research
Software Reliability and Analysis Research
+1
K
Open Source Software Innovations
Software Engineering Research
Software Engineering Techniques and Practices
Software Reliability and Analysis Research
+1
J
Advanced Fluorescence Microscopy Techniques
Microtubule and Mitosis Dynamics
Software Engineering Research
Software Reliability and Analysis Research
+1
R
Ramesh Karri

Electrical and Computer Engineering Department Chair; Professor of ECE

Department of Electrical and Computer Engineering

New York University

Advanced Neural Network Applications
Adversarial Robustness in Machine Learning
Embedded Systems Design Techniques
Parallel Computing and Optimization Techniques
+1
Y
Yunlong Xing

Assistant Professor, Applied Computing; Assistant Professor, Computer Science

Computer Science

Michigan Technological University

AI for Security
Automated Program Repair
Container Security
Software and Systems Security
+5
B
Model-Driven Software Engineering Techniques
Software Engineering Research
Software Testing and Debugging Techniques
M
Distributed Systems and Fault Tolerance
Formal Methods in Verification
Logic, Programming, and Type Systems
Parallel Computing and Optimization Techniques
+1
V
Advanced Data Storage Technologies
Peer-To-Peer Network Technologies
Radiation Effects in Electronics
Software Testing and Debugging Techniques
+1
K
Agentic AI Systems
AI-Assisted Requirements Engineering
Algorithmic Fairness
LLM Evaluation
+9
F
Dependable Software Systems
Principles of Software Design and Construction
Programming Languages
Software Engineering
+7
S
Applied Cryptography
Operating Systems
Security and Privacy
Software Engineering
+5
V
Embedded Systems
Formal Methods
Hybrid Systems
Verification and Control
+5
R
Algorithmic Fairness
Assured Autonomy
Formal Methods
Machine Learning
+6
S
Sudipto Ghosh

Professor (Joint Appointment Systems Engineering)

Computer Science

Colorado State University

Modeling and Testing Software in Object-Oriented, Aspect-Oriented, and Component-Based Paradigms
Topic Modeling
Usability and User Interface Design
Virtual Reality Applications and Impacts
+2
S
Advanced Software Engineering Methodologies
Software Engineering Research
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
+1
M
Software Engineering Research
Software Reliability and Analysis Research
Software System Performance and Reliability
Software Testing and Debugging Techniques
+1
M
Manuel Egele, PhD

Associate Chair of Doctoral Programs (ECE), Associate Professor (ECE)

Department of Electrical and Computer Engineering

Boston University

Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Testing and Debugging Techniques
+1
X
<p>software Engineering</p><p>computer Security</p><p>&nbsp;</p>
Advanced Malware Detection Techniques
Software Engineering Research
Network Security and Intrusion Detection
+2
E
Advanced Malware Detection Techniques
Information and Cyber Security
Network Security and Intrusion Detection
Software Engineering Research
+1
Y
Advanced Malware Detection Techniques
Network Security and Intrusion Detection
Security and Verification in Computing
Software Testing and Debugging Techniques
+1
T
Advanced Malware Detection Techniques
Security and Verification in Computing
Software Engineering Research
Software Testing and Debugging Techniques
+1
D
Machine Learning
Population-Based Algorithms
Probabilistic Models
Engineering and Test Systems
+4
J
Access Control and Trust
Advanced Malware Detection Techniques
Software Engineering Research
Software Reliability and Analysis Research
+1
T
Timos Antonopoulos

Instructional Faculty, Research Scientist and Lecturer

Computer Science

Yale University

Formal Methods in Verification
Logic, Programming, and Type Systems
Security and Verification in Computing
Semigroups and Automata Theory
+1
Previous
1

...

35

...

15
Next