Du property-based testing en Java. ca pourrait être utile.