Symbolic String Verification: Combining String Analysis and Size Analysis.

Fang Yu, Tevfik Bultan, Oscar H. Ibarra

Browse the full TACAS paper archive.