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 solver for a theory of string and bit-vectors

Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp. A solver for a theory of string and bit-vectors. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. pages 124-126, ACM, 2017. [doi]

Authors

Sanu Subramanian

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

Murphy Berzish

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

Vijay Ganesh

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

Omer Tripp

This author has not been identified. Look up 'Omer Tripp' in Google
runs on