quickcheck (cran): Property Based Testing
Keywords: property-based-testing|r|rstats