Welcome to the Coverage Simulator! (by Stephan Weißleder)
Simulating the Satisfaction of Strong Coverage Criteria
The Coverage Simulator supports the satisfaction of stronger coverage criteria by
satisfying weaker coverage criteria on transformed test models.
All considered coverage criteria are applied to test models.
The Coverage Simulator provides a set of test model transformations.