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.

Learning to Explore Paths for Symbolic Execution

Jingxuan He, Gishor Sivanrupan, Petar Tsankov, Martin T. Vechev. Learning to Explore Paths for Symbolic Execution. In Yongdae Kim, Jong Kim 0001, Giovanni Vigna, Elaine Shi, editors, CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15 - 19, 2021. pages 2526-2540, ACM, 2021. [doi]

Authors

Jingxuan He

This author has not been identified. Look up 'Jingxuan He' in Google

Gishor Sivanrupan

This author has not been identified. Look up 'Gishor Sivanrupan' in Google

Petar Tsankov

This author has not been identified. Look up 'Petar Tsankov' in Google

Martin T. Vechev

This author has not been identified. Look up 'Martin T. Vechev' in Google
runs on