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