the program need to be tested and whether each test execution is
194 Software Security Assurance State-of-the-Art Report (SOAR)
Section 5 SDLC Processes and Methods and the Security of Software
correct. A metric known as Iterative Contexts Coverage uses these test