This is an extension of property-based testing for...

# kotest

[Kiryushin Andrey]

This is an extension of property-based testing for testing some system that accepts a sequence of actions. The list of actions is the input data for test and is randomly generated by the lib; and the test itself performs the same actions on the system under test and on a simpler model and then compares results.
One F# implementation is described here - https://fscheck.github.io/FsCheck/StatefulTesting.html