HAMPI: A Solver for String Constraints (2009)

by Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst