Guiding Greybox Fuzzing with Mutation Testing | Synapse