Test vectors detecting a fault Consider again the circuit studied in Example 13.4. Apply the structural test method studied in section 13.2 to find all vectors testing the stuck-at 1 fault of line 11. The procedure here is more complex, since in stage 2 of the backward propagation several input values can satisfy the constraint. These possibilities must then be considered successively. Hence, a loop must be added to the basic procedure.