4 ms·

For property-based testing in Java, jqwik[0] works nicely. [0] https://jqwik.net/ https://jqwik.net/