Software Testing Verification

Research Frontiers in Symbolic Execution Memory Safety Verification

Application of symbolic execution techniques to detect buffer overflows, use-after-free, and other memory corruption vulnerabilities.

All Software Testing & Verification PhD categories