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

It's essentially as you described.