Curtis C. R. Busby Earle, Robert B. France, Indrakshi Ray. Analysing Requirements to Detect Latent Security Vulnerabilities. In IEEE Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, CA, USA, June 30 - July 2, 2014 - Companion Volume. pages 168-175, IEEE, 2014. [doi]
Abstract is missing.