SAFELI: SQL injection scanner using symbolic execution
APOGEE: automated project grading and instant feedback system for web based computing