Hi, nice to see a fellow Brazilian.

How does your work differ from QuickCheck?