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.

Benchmarking Symbolic Execution Using Constraint Problems - Initial Results

Sahil Verma, Roland H. C. Yap. Benchmarking Symbolic Execution Using Constraint Problems - Initial Results. In 31st IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2019, Portland, OR, USA, November 4-6, 2019. pages 1-9, IEEE, 2019. [doi]

Authors

Sahil Verma

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

Roland H. C. Yap

This author has not been identified. Look up 'Roland H. C. Yap' in Google
runs on