Property-Based Testing with PropEr, Erlang, and Elixir (Pragprog)

Don’t forget you can get 35% off the ebook using the code ‘

This title will be available on or about 2018-11-10


Cool :slight_smile:
I’m looking forward to it.

1 Like

I was fortunate to be one of the beta readers for this book. I’m REALLY excited to see the finished product. Fred breaks these topics down in understandable ways and provides a lot of insight into how to think about property testing. There’s a real emphasis on ensuring that your tests are working to find the hidden bugs and not just generating random data.


Available in beta now :003:

1 Like

Bought it with the coupon code of course! Now we just need a distributed systems in erlang/elixir book…


You should post that here :003:

1 Like

Is something wrong with Designing for Scalability with Erlang/OTP? It’s published by O’Reilly instead of Prag, but it is an excellent book on the topic.


After I posted I googled a bit and found that book. Added to my list of books to read.

Please don’t forget to review it when you get around to it :003:

Also, @FrancescoC is a member here… I wonder if he’ll be writing any Elixir books any time soon? :101:

1 Like

It should be noted that the eBook is “DRM free” on Google Play (seems to be standard for O’Reilly titles) and

1 Like

I’m just learning about property based testing and using it in a couple projects. I was wondering how relevant this book is if you are using StreamData instead of PropEr and PropCheck?

I had a look at the excerpts but it is hard to tell.

It is focusing on PropEr and PropCheck, and this book provides explanation for both Erlang and Elixir, but quoting the book…

The concepts should not be hard to carry over from framework to framework in any case.

StreamData is exclusive to Elixir.

1 Like

The book is divided into 3 parts:

  • the basics
  • stateless properties in practice
  • stateful properties

Parts 1 should be useful regardless of the tool used, as it covers more foundational knowledge (thinking in properties, etc.). Part 2 should still be useful if using StreamData, but you’ll obviously have to adapt the code. Part 3 cannot be used with StreamData, as StreamData doesn’t provide state checking (StreamData: data generation and property testing for Elixir)

You can probably get a good grasp of how helpful the book would be to you by reading which seems to cover most of part 1 in the book (it’s by the same author), although code samples are only in Erlang.

Hope this helps!

1 Like

As others have said, you should be able to apply a lot of the thinking with stream data although some of the operations just aren’t supported right now so I’d suggest going through the book using propcheck. We use both at work. StreamData for very basic generation of data and Proper for when we need more robust testing, model checking, etc.

Thanks everyone. This is just the information I was looking for. :slight_smile:


Hi everyone,

I just wanted to announce that Property-Based Testing with PropEr, Erlang, and Elixir is now finally out!


It is probably the friendliest introduction you can get to Property-Based Testing in this community, and also one of the best resource to bring you to a reasonably advanced level of skill.

If you’re interested in more details, please see any of:

If you have previously read any of the beta copies, know that the final version now has both Erlang and Elixir code inline, at the same time (rather than Elixir in an appendix as in earlier beta copies). It was quite the fun challenge to make one book work for two languages, but I think you’ll find it works very well. If you only know either language, chances are you’ll feel comfortable reading both anyway before you’re halfway through.

And here’s also a twitter link in case any of you feels like making some noise on my behalf :slight_smile:

Thanks, and enjoy the read!


Congratulations Fred!

Thanks for all your hard work - not just on this book but all of them - I look forward to reading them all!

I have also liked and retweeted your tweet :023:


THANK YOU for the discount!!!

I just wrote an article about this book on Erlang Battleground - A Blog

1 Like