Empc: Effective Path Prioritization for Symbolic Execution with Path Cover. - Shuangjie Yao; Dongdong She (SP, 2025)