HAMPI: a solver for string constraints

By Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst. International Symposium on Software Testing and Analysis, 2009

335 citations recorded by the source corpus.

Subfields: Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/02ea2faa6190bc14f4244386996054ef11b0d89c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Information Systems

1. Dawn Song
2. Steve Hanna
3. Stephen McCamant
4. Prateek Saxena
5. Adam Kiezun
6. Philip J. Guo
7. Karthick Jayaraman
8. Michael D. Ernst

In Software

1. Dawn Song
2. Steve Hanna
3. Stephen McCamant
4. Devdatta Akhawe
5. Prateek Saxena
6. Feng Mao
7. Adam Kiezun
8. Philip J. Guo

Citations in the corpus

• A Symbolic Execution Framework for JavaScript (2010, methodology): “For the encoding of regular expression constraints, we reuse part of the implementation of the HAMPI tool [18].”
• Automatic creation of SQL Injection and cross-site scripting attacks (2009, background): “Our prototype string solver [16] did not discover more attacks, which indicates that the attack pattern library was sufficiently complete for our subjects.”