jlink / model-based-testing

Article and code to explain stateful and model-based property testing with example in Java

This repository is published on https://johanneslink.net/model-based-testing/