Chapter 10 - Fundamental Testing Techniques

Fault detection condition is a fundamental concept for reasoning about testing effectiveness.

It consists of the constraints that must be satisfied by test cases to reveal a specific fault.