GitHub repository: ladybug/jqwik
Description: Property-Based Testing on the JUnit Platform