TestOptimal Model-Based Testing (MBT) - intelligent test design and test automation, an open source project.
Model application-under-test (AUT) with state diagram or BPM, let TestOptimal generate test cases from the model with your choice of sequencer to achieve desired test coverage.
To perform test automation, write test script (groovy) for transitions (and/or states) to drive AUT as TestOptimal executes the test cases for you.
TestOptimal MBT features extensibility allowing you to plug-in your automation packages and your own test case generation algorithms.
This short video gives a brief overview of TestOptima in action, or check out list of tutorials.
More information available at wiki pages.
There are a few DEMO models for you to play with it out of the box.
To get started, first download/install TestOptimal and start up TestOptimal server to run in the background.
Or simply run it as a docker container:
docker run -p8888:8888 testoptimal/mbt:7.0.3
Then point your browser at http://localhost:8888 to bring up TestOptimal IDE/Studio.