Greybox Fuzzing Of Distributed Systems