Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection.

Yue Wang, Hao Sun, Qingkai Zeng

Browse the full SEKE paper archive.