Testing, Erlang, Elixir, Quickcheck.
from writing Stateful Properties. But if your system is big but not complex (like your usual CRUD HTTP server) or if “what the code should do” is really hard to model, maybe not so much. What about your Systems? Now the question is: How often do you write systems that are worth testing with