rackcheck (racket): A property-based testing library with shrinking support.
Keywords: quickcheck|testing|property-based-testing|racket