Umlaut1 / simulator
This is our first prototype of a UML1.3 Statemachine simulator.
It allows to simulate the behavior of the statemachines associated to the classes.
Then connected to TGV tool, it can generate test cases from test objectives.
It is based on Umlaut 1, a framework for transformation of UML1.3 models written in Eiffel.