MMIO Access-Based Coverage for Firmware Analysis | IEEE Conference Publication | IEEE Xplore