modelator 0.4.2

A framework and tools for model-based testing.
Documentation