S3: A Symbolic String Solver for Vulnerability Detection in Web Applications
Automated Whitebox Fuzz Testing