DMCA

Symbolic string verification: An automata-based approach

by Fang Yu , Tevfik Bultan , Marco Cova , Oscar H. Ibarra
Venue:in Proc. of SPIN, 2008
Citations:32 - 11 self