Testing, Property Based Testing, Elixir, Streamdata, Generative Testing.
all types of data. We can switch different generator according to the behavior of our target. If the target method only accepts integer, we can use integer() instead. We can regard check all as a for loop. Literally what it does is iterating over all generated items. Then we can test our logic by