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.

In the first iteration, we plan to support UML state machines. The first prototype is still under construction. Please read about the idea and send me your comments.