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.

Synthesizing Smart Solving Strategy for Symbolic Execution

Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang 0001, Weiyu Pan. Synthesizing Smart Solving Strategy for Symbolic Execution. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pages 1262-1263, IEEE, 2020. [doi]

Authors

Zehua Chen

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

Zhenbang Chen

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

Ziqi Shuai

This author has not been identified. Look up 'Ziqi Shuai' in Google

Yufeng Zhang 0001

This author has not been identified. Look up 'Yufeng Zhang 0001' in Google

Weiyu Pan

This author has not been identified. Look up 'Weiyu Pan' in Google
runs on