GraphWalker is a Model-Based Testing tool. It generates test sequences from models.