What are some strategies for testing large state machines?

Question

I inherited a large and fairly complex state machine. It has 31 possible states, all are really needed (big business process). It has the following inputs:

• Enum: C

Answer 1

Use SpecExplorer or NModel.