テストケースを自動生成するコード(プロパティ)を書くための技法
#テストケース
from
Property-based testing
テストケースを自動生成するコード(プロパティ)を書くための技法