Yaqc4j is an specification-based testing framework, based on QuickCheck for Haskell by John Hughes. It creates test data automatically through user-defined and built-in generators.