GraphWalker is a tool for generating offline and online test sequences from Finite State Machines and Extended Finite State Machines.