The obvious choice is PropEr since there is the book on the topic,
However there is also StreamData which is documented at Elixir School
I have some parsing that has got complex, but is in a critical part of the system. Property tests could help ensure that the system is not broken by tis change.