Overlapping -- Prefix Sequence Overlapping Problem
Test Segments for testing all transitions:
Test(T1) = [Reset, T1, T2, T4]
Test(T2) = [Reset, T1, T2, T4]
Test(T3) = [Reset, T1, T3, T4]
Test(T4) = [Reset, T1, T3, T4, T4]
Test(T5) = [Reset, T1, T3, T5, T1, T2]
Test(T6) = [Reset, T6, T4]
Test Segments can be overlapped as:
[Reset, T1, T2, T4] Test(T1) & Test(T2)
[Reset, T1, T3, T4, T4] Test(T3) & Test(T4)
[Reset, T1, T3, T5, T1, T2] Test(T5)