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]
No reviews for this publication, yet.