Hampi: a solver for string constraints,” (2009)

by A Kiezun, V Ganesh, P J Guo, P Hooimeijer, M D Ernst
Venue:in ISSTA ’09.