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.

A bounded symbolic-size model for symbolic execution

David Trabish, Shachar Itzhaky, Noam Rinetzky. A bounded symbolic-size model for symbolic execution. In Diomidis Spinellis, Georgios Gousios, Marsha Chechik, Massimiliano Di Penta, editors, ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021. pages 1190-1201, ACM, 2021. [doi]

Authors

David Trabish

This author has not been identified. Look up 'David Trabish' in Google

Shachar Itzhaky

This author has not been identified. Look up 'Shachar Itzhaky' in Google

Noam Rinetzky

This author has not been identified. Look up 'Noam Rinetzky' in Google
runs on