A Combinatorial Testing + Model-based Testing framework on top of Java+JUnit. Model your application as code and let JCUnit do the rest.

A toolset to support automated system-level testing of unmanned aerial systems (UAS).

A toolkit to automate the testing process of Cockpit Display Systems (CDS)

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

Model Based testing

The ModelJUnit extension that facilitates adaptation using class type converters and also data generation using random generators