PropEr
Erlang
で
Property based testing
するlibrary
github
website