Stem hampi$ (all stems)
2 papers:
CAV-2011-GaneshKAGHE #analysis #detection #named #string #testing- HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection (VG, AK, SA, PJG, PH, MDE), pp. 1–19.
ISSTA-2009-KiezunGGHE #constraints #named #string- HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.