ResearchBenchmarksFirmware Code Coverage Analysis on Stepper firmwareFollow2,017Covered BranchesGray-Box1,213.081,421.791,630.51,839.21Jun 23, 2026Evaluation ResultsMethodMethodLinksCovered BranchesBranch Coverage (%)Improvement vs Fuzz'EMup (%)Gray-BoxTotal Branches=2143Total Branches=21432026.062,01794.1—PowerFuzzTotal Branches=2143Total Branches=21432026.061,73080.722.7RandomTotal Branches=2143Total Branches=21432026.061,32161.6—Fuzz’EMupTotal Branches=2143Total Branches=21432026.061,24458.1—