StringFuzz: A Fuzzer for String Solvers. - Dmitry Blotsky; Federico Mora 002; Murphy Berzish; Yunhui Zheng; Ifaz Kabir; Vijay Ganesh 001 (CAV (2), 2018)