ASCEND
BY NTHRYS

NTHRYS › PhD Assistance › Formal Methods

Formal Methods

Field
▾
Category
▾

Formal Methods

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Symbolic Execution for Software Testing

Automated path exploration and constraint solving techniques for comprehensive test case generation and vulnerability discovery in programs.

Constraint Solving at the Symbolic Execution Frontier
Path Explosion: Taming Exponential Complexity in Symbolic Testing
Hybrid Concrete-Symbolic Execution for Real-World Systems
Symbolic Execution of Concurrent and Distributed Programs
Memory Model Fidelity in Symbolic Software Verification
Automated Exploit Generation Through Symbolic Reasoning
Symbolic Execution Across Language Boundaries and Abstraction Layers
Quantitative Reasoning in Symbolic Program Analysis
Environmental Model Inference for Effective Symbolic Testing
Scalable Symbolic Execution Through Incremental Learning and Pruning

All Formal Methods PhD categories