Murphy Berzish
Author
Alternate name Murphy Berzish
Institution University of Waterloo
Past institution University of Waterloo
H-index: 9
I10-index: 8
Works count: 24
Citations count: 296
Z3str3: A String Solver with Theory-aware Heuristics
2017 · Murphy Berzish, Vijay Ganesh, et al.
StringFuzz: A Fuzzer for String Solvers
2018 · Dmitry Blotsky, Federico Mora, et al. · Lecture notes in computer science
Z3str2: an efficient solver for strings, regular expressions, and length constraints
2016 · Yunhui Zheng, Vijay Ganesh, et al. · Formal Methods in System Design