A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors | IEEE Journals & Magazine | IEEE Xplore