A solver for a theory of string and bit-vectors.

Sanu Subramanian, Murphy Berzish, Vijay Ganesh, Omer Tripp

Browse the full ICSE paper archive.