Hedgehog
https://gyazo.com/a69d13338d15e77fb1839472e8d6992f
Haskellで
Property based testing
するlibrary
website
github
ここ
で見た
↑1~3まで記事ある
State Machine Testing