andreendo/xstate-cypress-mbt-study

Repository with the content of my final paper entitled "A case study with the XState model-based testing tool"