These unique features give comfortable control over the generated test cases:
*Specify the system under test using c# or the integrated constraint programming (CP) lib. Using c# all paths are explored. Using CP everything stays symbolic. Both can be mixed as needed, so only those parts are explored you really want. Example: An algo which has an absolute-function on the input. You don't want to test this branch for pos/neg values. Use CP for the abs-function and this branch will not be covered.
*Slice specified systems with scenarios or other models. Big explored models can be searched for the paths you are interested in. Example: A web-shop. Search now for a path which can undo the deletion of an item, without putting the item again in the cart.
*Spec Explorer is a real generalist. The features are still usable in many different domains. Example: Timed systems. The additional time added to every state is not cluttering the system. Spec Explorer is a simulation tool, a time planner, optimization tool, algebraic equation solver any many more.
Conclusion: A magic swiss army knife for all kinds of problems ranging from modeling, search, simulation and calculation.