@GraphWalker

GraphWalker - Model-based testing

A Model-based testing tool, written in Java