目的 未公開記事の発掘 製品コードの特性をテストが知っているのは役割分担を間違えてるような気がする 値域や事後条件をアノテーションで書けるといいのにな jlink/jqwik の利用例を紹介します github.com/jlink/jqwik ユーザーガイド Java でプロパティベ…