net.java.quickcheck
Interfaces 
Characteristic
ExtendibleGenerator
FrequencyGenerator
Generator
ObjectGenerator
ObjectGenerator.ReturnValue
StatefulGenerator
Classes 
QuickCheck
Exceptions 
CharacteristicException
GeneratorException