HAMPI: A Solver for String Constraints (2009)

by A Kiezun, V Ganesh, P J Guo, P Hooimeijer, M D Ernst
Venue:Proc. Int’l Symp. Software Testing and Analysis