SAFELI: SQL injection scanner using symbolic execution
Parameterized unit tests