Tutorials
Currently, this section contains tutorials on how to test stateful systems.
Our intention is that Real Soon Now™ it will be expanded with tutorials on how to do simpler kinds of testing.
Contents
- PropEr introduction to Property-Based Testing: a really basic tutorial for PropEr beginners
- Basic PropEr Tutorial: a basic PropEr tutorial
- PropEr testing of generic servers: a PropEr statem tutorial
- PropEr testing of process interaction: yet another PropEr statem tutorial
- PropEr testing of finite state machines: a PropEr fsm tutorial
- PropEr testing with search strategies: a PropEr targeted tutorial