Empc: Effective Path Prioritization for Symbolic Execution with Path Cover.

Shuangjie Yao, Dongdong She

Browse the full SP paper archive.