The Next Generation of Property-Based Testing

Jqwik 2: What PBT can do, if we let it