Trace-Based Testing in Erlang(blog.erlang.moe)

https://blog.erlang.moe/posts/2019-10-11-hello-world.html