Testing, Erlang, Elixir, Quickcheck.
is the test itself you can not just do that. […] You want to find something that is not trivial, but that you understand well and has significant complexity in its implementation. Usually data structures are interesting for that […]. From my perspective, there are things that are totally worth