I can pass 50 JUnit examples on a Quarkus price calculator that rounds too early. Coverage has no reason to complain. The suite never asked about rounding order. jqwik searches the same valid domain. Shrinking reduced a nine-digit miss to six units at one cent with a 9% discount. That shrunk case is now test 51. https://www.the-main-thread.com/p/quarkus-jqwik-property-based-testing #Java #Quarkus #jqwik #PropertyBasedTesting