title: Dynamically creating EFSM for MBT
body: <p>In the example im trying to model the complexity of the model increases expontentially with every step taken in the FSM. However the rules for how the FSM grows are easy to describe in code but impossible to model by hand. What makes the model hard to create by hand is the large number of transitions that are possible from each node as the FSM progresses. The number of states are not that many but the number of transitions are huge!</p>
  
  <p>I have been trying to use ModelJUnit but as far I can understand this tool only supports completly pre defined models.</p>
  
  <p>So my question is if there are any Model-Based Testing tools that support dynamically creating the FSM for the system under test as described abowe?</p>