By piccoloprincipe
via infoq.com
Submitted: Mar 02 2013 / 06:41
One of the biggest risks with software security is the opaque nature of verification tools and processes, and the potential for false negatives not covered by a particular verification technique (e.g. automated dynamic testing).
Add your comment