keep track (over test runs?) where we have been, and steer test run to unexplored states/transitions
|Status:||New||Start date:||19 Jun 2009|
do this in separate component?
variant of guided LTS?
furthermore: we can do this on basis of traces (semantic coverage), such that when we return to start state this stil is (semantically) a new state.
we could also have a 'loop unroll parameter' that says that when we return to the start state for the n-th time, then we consider this as the start of a new run
(and maybe use that also for other loops? needs probably more thought)