BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
string (2)
solver (2)
constraint (1)
analysi (1)
detect (1)

Stem hampi$ (all stems)

2 papers:

CAVCAV-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.
ISSTAISSTA-2009-KiezunGGHE #constraints #named #string
HAMPI: a solver for string constraints (AK, VG, PJG, PH, MDE), pp. 105–116.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.