PropEr
from
Property-based testing
GitHub - proper-testing/proper: PropEr: a QuickCheck-inspired property-based testing tool for Erlang