GraphWalker is a Model-Based Testing tool. It parses models [finite-state machines] which are designed using the yEd, https://www.yworks.com/en/products_yed_about.html, and generates test sequences. The tool generates offline and more importanly, online test sequences from Finite State Machines and Extended Finite State Machines. See also: https://graphwalker.org
This is a set of examples of how to use GraphWalker
https://github.com/KristianKarl/GraphWalker-Examples/issues
mvn compile
mvn test