Verifying client-side input validation functions using string analysis.

Muath Alkhalaf, Tevfik Bultan, Jose L. Gallegos

Browse the full ICSE paper archive.