Dependence Guided Symbolic Execution

Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, Qinghua Zheng, Zijiang Yang. Dependence Guided Symbolic Execution. IEEE Trans. Software Eng., 43(3):252-271, 2017. [doi]

Abstract

Abstract is missing.