Fan Yao, Yongbo Li, Yurong Chen, Hongfa Xue, Tian Lan, Guru Venkataramani. StatSym: Vulnerable Path Discovery through Statistics-Guided Symbolic Execution. In 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2017, Denver, CO, USA, June 26-29, 2017. pages 109-120, IEEE Computer Society, 2017. [doi]
Abstract is missing.