Xiang Fu Kai Qian SAFELI: SQL injection scanner using symbolic execution. 34-39 2008 TAV-WEB http://doi.acm.org/10.1145/1390832.1390838 conf/issta/2008t db/conf/issta/tavweb2008.html#FuQ08