Adam Kiezun Vijay Ganesh Philip J. Guo Pieter Hooimeijer Michael D. Ernst HAMPI: a solver for string constraints. 105-116 2009 ISSTA http://doi.acm.org/10.1145/1572272.1572286 conf/issta/2009 db/conf/issta/issta2009.html#KiezunGGHE09