M.D.: HAMPI: A solver for string constraints (2009)

by A Kieżun, V Ganesh, P J Guo, P Hooimeijer, Ernst
Venue:In: Proceedings of the 2009 International Symposium on Software Testing and Analysis (ISSTA 2009