A Practical String Analyzer by the Widening Approach.

Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh

Browse the full APLAS paper archive.