IDE & Navigation
Properties & Tools
Path: right pane / SeqTrace
Sequence Trace tab shows the test sequence (state and transition traversal sequence) MBT sequencer generated from the model with the selected sequencer. Use this transition trace to find when and where the MBT exception occurred. You may also use this transition trace to capture the test sequence and feed it to your testing frame work.
You can filter this list to only show states or transitions. If the execution has multiple threads (virtual users), you also have the option to filter the list down to a specific thread.