desired properties. These traces provide solutions to a number of problems. Instead of
individual traces, software testing needs sets of traces that satisfy coverage criteria. Finding
a trace set in a large model is difficult because model checkers generate single traces and
use a lot of memory. Space and time requirements of modelchecking algorithms grow
exponentially with respect to the number of variables and parallel automata of the model …