We're using jqwik's stateful testing to achieve this, https://jqwik.net/docs/current/user-guide.html#stateful-testing https://jqwik.net/docs/current/user-guide.

We're using jqwik's stateful testing to achieve this, https://jqwik.net/docs/current/user-guide.html#stateful-testing https://jqwik.net/docs/current/user-guide.html#stateful-test... It's essentially as you described.