proptest-stateful builds upon the proptest library to implement model property-based testing for stateful systems, similarly to the proper library described in the book Property-based testing with Proper, Erlang and Elixir.
The approach involves defining a simplified model of the system-under-test (SUT), generating a random sequence of commands that both the SUT and the model understand, executing the commands on both systems and checking that the internal state of the two systems remains the same. Please see the user guide for detailed instructions.
The contributors are listed in AUTHORS. This project uses the MPL v2 license, see LICENSE.
To report an issue, use the proptest-stateful issue tracker on GitHub.