Demo of Model-Based Testing(State Testing) Generate interfaces from the models mvn graphwalker:generate-sources Execute tests mvn graphwalker:test