StreamData: Property-based testing and data generation (2017)elixir-lang.org3 pointslinkdd5 years ago