Effective Search-Space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints. - Yunhui Zheng; Vijay Ganesh 001; Sanu Subramanian; Omer Tripp; Julian Dolby; Xiangyu Zhang 001 (CAV (1), 2015)

A Solver for a Theory of Strings and Bit-vectors. - Sanu Subramanian; Murphy Berzish; Yunhui Zheng; Omer Tripp; Vijay Ganesh 001 (CoRR, 2016)

A solver for a theory of string and bit-vectors. - Sanu Subramanian; Murphy Berzish; Vijay Ganesh 001; Omer Tripp (ICSE (Companion Volume), 2017)

Z3str2: an efficient solver for strings, regular expressions, and length constraints. - Yunhui Zheng; Vijay Ganesh 001; Sanu Subramanian; Omer Tripp; Murphy Berzish; Julian Dolby; Xiangyu Zhang 001 (Formal Methods Syst. Des., 2017)