CANDID: Dynamic candidate evaluations for automatic prevention of SQL injection attacks
Mining Temporal Specifications for Error Detection