"SAFELI: SQL injection scanner using symbolic execution."

Xiang Fu, Kai Qian (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics