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.

Synthesize solving strategy for symbolic execution

Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang 0001, Ji Wang 0001. Synthesize solving strategy for symbolic execution. In Cristian Cadar, Xiangyu Zhang 0001, editors, ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021. pages 348-360, ACM, 2021. [doi]

Authors

Zhenbang Chen

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

Zehua Chen

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

Ziqi Shuai

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

Guofeng Zhang

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

Weiyu Pan

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

Yufeng Zhang 0001

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

Ji Wang 0001

This author has not been identified. Look up 'Ji Wang 0001' in Google
runs on