[1] HEAling Vulnerabilities to ENhance Software Security and Safety (HEAVENS). Research Project, 2013-2016.