Model-based testing is a software testing technique where the run time behavior of the software under test is checked against predictions made by a model. A model is a description of a system’s behavior. Behavior can be described in terms of input sequences, actions, conditions, output, and flow of data from input to output. It should be practically understandable and can be reusable; shareable must have a precise description of the system under test.

https://www.guru99.com/model-based-testing-tutorial.html

• https://en.wikipedia.org/wiki/Model-based_testing
• Using XState for testing: https://github.com/statelyai/xstate/tree/main/packages/xstate-test
• https://www.qt.io/blog/quality-assurance/understanding-model-based-testing