Key points are not available for this paper at this time.
Property-based testing is a style of testing popularised by the QuickCheck family of libraries, first in Haskell For a general introduction to property-based testing, see
MacIver et al. (Thu,) studied this question.