Yue Wang, Hao Sun, Qingkai Zeng. Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection. In Haiping Xu, editor, The 27th International Conference on Software Engineering and Knowledge Engineering, SEKE 2015, Wyndham Pittsburgh University Center, Pittsburgh, PA, USA, July 6-8, 2015. pages 536-539, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2015. [doi]
Abstract is missing.