Greybox Fuzzing of Distributed Systems (CCS'23) - View it on GitHub