MUSIC: Mutation-based SQL Injection Vulnerability Checking
Testing Security Policies: Going Beyond Functional Testing