of correctness and predictability) is a prerequisite of software security, “vanilla”
software quality assurance (QA) practices can be expected to aid in the
assurance of software security.
Within both the software security assurance and QA communities, the