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.

VBSAC: a value-based static analyzer for C

Chi Li, Min Zhou, Zuxing Gu, Guang Chen, Yuexing Wang, Jiecheng Wu, Ming Gu. VBSAC: a value-based static analyzer for C. In Dongmei Zhang, Anders Møller, editors, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019. pages 382-385, ACM, 2019. [doi]

Authors

Chi Li

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

Min Zhou

This author has not been identified. Look up 'Min Zhou' in Google

Zuxing Gu

This author has not been identified. Look up 'Zuxing Gu' in Google

Guang Chen

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

Yuexing Wang

This author has not been identified. Look up 'Yuexing Wang' in Google

Jiecheng Wu

This author has not been identified. Look up 'Jiecheng Wu' in Google

Ming Gu

This author has not been identified. Look up 'Ming Gu' in Google
runs on