"A String Constraint Solver for Detecting Web Application Vulnerability."

Xiang Fu, Chung-Chih Li (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics