In: Proceedings of 31st annual international computer software and applications conference (COMPSAC), pp 87–96 Fu X, Qian K (2008) SAFELI: SQL injection scanner using symbolic execution. In: Proceedings of the 2008 workshop on testing, analysis, and verification of web services and applications...