1. Some theory
   1. Model-based testing
   2. Finite-state machine
   3. Transition system
   4. Directed graph
   5. A Practitioner's Guide to Software Test Design
      1. Chapter 7: State-Transition Testing
   6. My MindMap
      1. About Test Design Technique: State Transition Testing
2. Choose the appropriate feature for testing
3. Download and install the yEd Graph Editor, to create your diagrams
4. Install Java JDK 7 or 8
   1. Add the variable JAVA_HOME = <java installation folder> (for example, JAVA_HOME = C:\Program Files\Java\jdk1.8.0_112)
   2. Add %JAVA_HOME% to the current value of variable Path
5. Create in yEd Graph Editor a state and transition diagram for your selected process
   1. We take into account the rules for the diagram creation
      1. Save you diagram (MyTest.graphml)
   2. Create/select a folder for work, for example Grafwalker
6. Download the distributive GraphWalker-cli in the current folder
   1. How to use GraphWalker
7. From current folder run the command to generate a test sequence (from command line)
   1. For example:%> java -jar graphwalker.jar offline -m MyTest.graphml "random (edge_coverage (100))"
      1. Here we use: - random path generator, - stop condition: edge coverage
   2. Use appropriate generators and stop conditions
8. We obtain a test sequence
   1. You can redirect the output to a file