KristianKarl-zz/GraphWalker

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

Java