Randomly generate data, to use with property-based tests