HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars

@article{Kiezun2012HAMPIAS,
  title={HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars},
  author={Adam Kiezun and Vijay Ganesh and Shay Artzi and Philip J. Guo and Pieter Hooimeijer and Michael D. Ernst},
  journal={ACM Trans. Softw. Eng. Methodol.},
  year={2012},
  volume={21},
  pages={25:1-25:28}
}
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. This separation of concerns often leads to more effective and maintainable software reliability tools. The increasing efficiency of off-the-shelf constraint solvers makes this approach even more compelling. However, there are few effective and sufficiently expressive off-the-shelf solvers for string constraints generated… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS