Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Secure program execution via dynamic information flow tracking