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.

Ares: Inferring Error Specifications through Static Analysis

Chi Li, Min Zhou 0001, Zuxing Gu, Ming Gu 0001, Hongyu Zhang 0002. Ares: Inferring Error Specifications through Static Analysis. In 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019, San Diego, CA, USA, November 11-15, 2019. pages 1174-1177, IEEE, 2019. [doi]

Authors

Chi Li

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

Min Zhou 0001

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

Zuxing Gu

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

Ming Gu 0001

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

Hongyu Zhang 0002

This author has not been identified. Look up 'Hongyu Zhang 0002' in Google
runs on