GitHub repository: KristianKarl-zz/GraphWalker
Primary language: Java
Description: GraphWalker is a testing tool for generating offline and online test sequences from Finite State Machines and Extended Finite State Machines.