Feature #139

keep track (over test runs?) where we have been, and steer test run to unexplored states/transitions

Added by Axel Belinfante about 11 years ago.

Status:NewStart date:19 Jun 2009
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


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)

Also available in: Atom PDF