The incorrect program state must __________ to the program s output and be checked by the test.

• A. Reach
• B. Infect
• C. Propagate
• D. Limit