HAMPI: a solver for string constraints.

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

Browse the full ISSTA paper archive.