StatSym: Vulnerable Path Discovery through Statistics-Guided Symbolic Execution.

Fan Yao, Yongbo Li, Yurong Chen, Hongfa Xue, Tian Lan, Guru Venkataramani

Browse the full DSN paper archive.