Design of interactions so that test sets and FSMs can be refined on the basis of feedback provided from FSM extraction on existing sets.