property-based testing

property-based testing (PBT, プロパティベーステスト)

a.k.a. generative testing (生成的テスト)

cf. example-based testing (EBT)