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]
@inproceedings{SubramanianBGT17,
title = {A solver for a theory of string and bit-vectors},
author = {Sanu Subramanian and Murphy Berzish and Vijay Ganesh and Omer Tripp},
year = {2017},
url = {http://dl.acm.org/citation.cfm?id=3098385},
researchr = {https://researchr.org/publication/SubramanianBGT17},
cites = {0},
citedby = {0},
pages = {124-126},
booktitle = {Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume},
editor = {Sebastián Uchitel and Alessandro Orso and Martin P. Robillard},
publisher = {ACM},
isbn = {978-1-5386-1589-8},
}