Document Versions

HAMPI: A Solver for String Constraints – Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst — 2009
HAMPI: A Solver for String Constraints –Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst — 2009
HAMPI: A Solver for String Constraints –Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst
HAMPI: A solver for string constraints –Adam Kiezun, Vijay Ganesh, Philip J. Guo, Michael D. Ernst, Pieter Hooimeijer, Vijay Ganesh, Philip J. Guo, Michael D. Ernst — 2009 — In International Symposium on Software Testing and Analysis