Trace-Based Testing in Erlang | Hacker News Reader