@inproceedings{kiezun09,
 author = {Kiezun, Adam and Ganesh, Vijay and Guo, Philip J. and Hooimeijer, Pieter and Ernst, Michael D.},
 title = {HAMPI: a solver for string constraints},
 booktitle = {ISSTA '09: Proceedings of the eighteenth international symposium on Software testing and analysis},
 year = {2009},
 isbn = {978-1-60558-338-9},
 pages = {105--116},
 location = {Chicago, IL, USA},
 publisher = {ACM},
 address = {New York, NY, USA},
}