Login / Signup

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

Adam KiezunVijay GaneshShay ArtziPhilip J. GuoPieter HooimeijerMichael D. Ernst
Published in: ACM Trans. Softw. Eng. Methodol. (2012)
Keyphrases