A Practical String Analyzer by the Widening Approach.

Tae-Hyoung Choi Oukseh Lee Hyunha Kim Kyung-Goo Doh A Practical String Analyzer by the Widening Approach. 374-388 2006 conf/aplas/2006 APLAS http://dx.doi.org/10.1007/11924661_23 db/conf/aplas/aplas2006.html#ChoiLKD06