Empc: Effective Path Prioritization for Symbolic Execution with Path Cover

Name: Empc: Effective Path Prioritization for Symbolic Execution with Path Cover
Duration: 15 min
Description: Talk from IEEE Symposium on Security and Privacy 2025.

Shuangjie Yao, Dongdong SheHong Kong

IEEE Symposium on Security and Privacy 2025 · Day 2 · Software Analysis and Reverse Engineering