Ruby

QuickCheck in Ruby

The theft Ruby gem allows for property-based testing — generating valid, randomly-generated input and validating that a particular property is true.