PyModel is an open-source model-based testing framework in Python. In model-based testing, you code a model that can generate as many test cases as needed. The model also checks the test outcomes.