From Formal Methods to Fuzzing and Back [pdf] | Hacker News Reader