Fuzz testing distributed systems with QuickCheck | Dark Hacker News