
Property-Based Testing with PropEr, Erlang, and Elixir
by Fred Hebert · first published 2019
8mentions
3recommended by
6HN commenters
2019–2025first – last mentioned
50% recommend50% neutral
Affiliate links. As an Amazon Associate I earn from qualifying purchases.




I really liked Hebert's Property-Based Testing with PropEr, Erlang, and Elixir. It's in Erlang and Elixir, but the concepts transfer well to other languages and property-based test systems. https://pragprog.com/titles/fhproper/property-based-testing-...
on “Property-Based Testing in Rust with Arbitrary” ↗More towards the advanced side I'd recommend Fred Hebert's Property-Based Testing with PropEr, Erlang, and Elixir - https://pragprog.com/titles/fhproper/property-based-testing-... It's also one of the best resources I've come across on property-based testing and is something I recommend to non-Erlang/Elixir programmers…
on “Ask HN: Programming Courses for Experienced Coders?” ↗Working Effectively with Legacy Code by Michael Feathers. It spends a lot of time on how to introduce testability into existing software systems that were not designed for testing. Property-Based Testing with PropEr, Erlang, and Elixir by Fred Hebert. While a book about a particular tool (PropEr) and pair of languages (Erlang and Elixir), it's a solid introduction to property-based testing. The techniques described transfer well to…
on “Testing is better than data structures and algorithms” ↗Domain Modeling Made Functional by Scott Wlaschin Property-Based Testing with PropEr, Erlang, and Elixir by Fred Herbert Hacker's Delight by Henry Warren Programming Pearls by Jon Bentley
on “Ask HN: Tech books every developer must read” ↗Niche, but the book Property-Based Testing with PropEr, Erlang, and Elixir [1] taught me a lot. It might be the only dead-tree book on PBT. If you don't know what it is, here's a short video on it [2], it's basically a tool to automate tests and automatically simplify (shrink)…
on “Ask HN: What is the best way to learn Erlang?” ↗…around it, but all the basics are still well-covered I think. Erlang in Anger, only available as a self-published short e-book available for free, meant to teach people to operate Erlang in production. Property-Based Testing with PropEr, Erlang, and Elixir; my latest published one (with Pragmatic programmers), covering property-based testing both with Erlang and Elixir at once. Pragprog have let me keep the initial website online, which only covered Erlang.…
on “Adopting Erlang” ↗…testing with QuickCheck - https://news.ycombinator.com/item?id=25457744 - Dec 2020 (3 comments) In praise of property-based testing - https://news.ycombinator.com/item?id=21880635 - Dec 2019 (9 comments) Property-Based Testing with PropEr, Erlang, and Elixir - https://news.ycombinator.com/item?id=18894018 - Jan 2019 (8 comments) Mysteries of Dropbox: Property-Based Testing of a Synchronization Service [pdf] - https://news.ycombinator.com/item?id=10627666…
on “What is property-based testing? (2016)” ↗…Elixir 2021 - $22.95 - Genetic Algorithms in Elixir 2020 - $27.95 - Real-Time Phoenix 2019 - $26.95 - Programming Ecto 2019 - $28.95 - Programming Phoenix 1.4 (Current version is 1.6) 2019 - $26.95 - Property-Based Testing with PropEr, Erlang, and Elixir 2019 - $24.95 - Designing Elixir Systems with OTP 2018 - $27.95 - Programming Elixir 1.6 (Current version is 1.14) 2018 - $27.95 - Craft GraphQL APIs in Elixir with Absinthe 2018 - $26.95 - Functional…
on “Joy of Elixir (2020)” ↗