Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
conditions in the otherwise unlikely execution paths. Both error and scheduling injection fully support the distributed Erlang. The last testing technique that we will touch on in this post is model checking. Concuerror is an ultimate tool for verifying concurrent systems because it explores all