BugBox: A Vulnerability Corpus for {PHP} Web Applications
Automatic mining of source code repositories to improve bug finding techniques