Erlang, Elixir, Chaos Engineering, Testing, Benchmark.
the foundation of many modern model checkers. However, applying this approach directly to application-level testing is quite uncommon, and deserves more attention. We’ll discuss some realistic examples of this approach in the following chapter. Trace-based Testing So what is an execution trace?