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