DMCA

Hampi: A solver for word equations over strings, regular expressions and context-free grammar

by Adam Kiezun , Shay Artzi , Philip J. Guo , Pieter Hooimeijer , Michael D. Ernst
Venue:ACM Transactions on Software Engineering and Methodology
Citations:4 - 0 self