Testing, Testing Tools, Pbt.
a range of data points. For example, a property might state that the size of a list returned from a method should always be greater than or equal to the size of the list passed to that method. This property should hold no matter what list is passed. To test properties a PBT framework creates data