Nice article. In a way you could think of the following as "concurrency fuzzing": [0]: https://news.ycombinator.com/item?id=26718273