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.

ApproxSymate: path sensitive program approximation using symbolic execution

Himeshi De Silva, Andrew E. Santosa, Nhut-Minh Ho, Weng-Fai Wong. ApproxSymate: path sensitive program approximation using symbolic execution. In Jian-Jia Chen, Aviral Shrivastava, editors, Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2019, Phoenix, AZ, USA, June 23-23, 2019. pages 148-162, ACM, 2019. [doi]

Authors

Himeshi De Silva

This author has not been identified. Look up 'Himeshi De Silva' in Google

Andrew E. Santosa

This author has not been identified. Look up 'Andrew E. Santosa' in Google

Nhut-Minh Ho

This author has not been identified. Look up 'Nhut-Minh Ho' in Google

Weng-Fai Wong

This author has not been identified. Look up 'Weng-Fai Wong' in Google
runs on