External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

StatSym: Vulnerable Path Discovery through Statistics-Guided Symbolic Execution

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]

Authors

Fan Yao

This author has not been identified. Look up 'Fan Yao' in Google

Yongbo Li

This author has not been identified. Look up 'Yongbo Li' in Google

Yurong Chen

This author has not been identified. Look up 'Yurong Chen' in Google

Hongfa Xue

This author has not been identified. Look up 'Hongfa Xue' in Google

Tian Lan

This author has not been identified. Look up 'Tian Lan' in Google

Guru Venkataramani

This author has not been identified. Look up 'Guru Venkataramani' in Google
runs on