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