Property-based Testing in Java: Model-based Testing

less than 1 minute read

In the 5th part of the series I have already shown the basic idea of stateful properties. However, with more complex or even persistent state we have to apply another tool from out tool box: model-based testing.

Since the approach requires a through explanation I put it in a place of its own. All code and examples are available ready to try.

Leave a comment