SpecExplorer

Model-based Testing with SpecExplorer. Spec Explorer is a software development tool for advanced model-based specification and conformance testing.