The library allows the creation of tests based on real specifications. The developer provides properties of code (think: "for all X sqrt(X) > 0") and Test::Quick generates tests automagically to prove this assertions.

For more informations see QuickCheck for haskell or Test::LectroTest for perl.