A Practical String Analyzer by the Widening Approach. - Tae-Hyoung Choi; Oukseh Lee; Hyunha Kim; Kyung-Goo Doh (APLAS, 2006)