External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses

Jason Belt, Robby, Xianghua Deng. Sireum/Topi LDP: a lightweight semi-decision procedure for optimizing symbolic execution-based analyses. In Hans van Vliet, Valérie Issarny, editors, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009. pages 355-364, ACM, 2009. [doi]

Authors

Jason Belt

This author has not been identified. Look up 'Jason Belt' in Google

Robby

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

Xianghua Deng

This author has not been identified. Look up 'Xianghua Deng' in Google
runs on