University of Lugano/Faculty of Informatics Detection of Security Flaws and Vulnerabilities by
Guided Model Checking
Software Security Assurance State-of-the-Art Report (SOAR) 365
Appendix H Software Security Research in Academia