A free, open-source Java library for automata learning algorithms
A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.
Falsification of CPS via Automata Learning
A toolkit to automate the testing process of Cockpit Display Systems (CDS)
A toolset to support automated system-level testing of unmanned aerial systems (UAS).
A model-based testing example for modern web applications with GraphWalker and Selenium frameworks.
TestOptimal MBT (Open-Source)
A model-based test case generator
Webtesting, Cucumber, Model-based testing
MBT module
15 places where the JDK contradicts its own documentation, each with a one-command reproducer. Found by deriving test obligations from formal specifications of the Javadoc.
Model-Based Testing (MBT) applied to the classic TodoMVC React application
The ModelJUnit extension that facilitates adaptation using class type converters and also data generation using random generators
To associate your repository with the model-based-testing topic, visit your repo's landing page and select "manage topics."