# Model-based testing

Term `model-based-testing`. Generated command histories compare real outcomes with an explicit state model.

Practitioner: Fred Hebert. Read in: *Property-Based Testing with PropEr, Erlang, and Elixir*, Laying Out Stateful Properties.

## Skills
- [uncomplect](/skills/uncomplect)

## Sources
- Hebert, Fred. *Property-Based Testing with PropEr, Erlang, and Elixir*. Pragmatic Bookshelf, 2019. [Link](https://pragprog.com/titles/fhproper/property-based-testing-with-proper-erlang-and-elixir/). ([b11-property-based-testing](/bibliography#b11-property-based-testing))