Test Sequence Generation for the W-method

Step 1. Find a spanning tree from the initial state to each state.

Step 2 (a-part).

For each state j do

Generate a sequence from the initial state to state j;

Generate the X sequence for state j;

Generate a sequence to return to the initial state.

Step 3 (b-part).

For each transition (J, k; I/o) do

Generate a sequence from the initial state to state j;

Generate [I/o];

Generate a X sequence for state k;

Generate a sequence to return to the initial state.