Directed Test Case Generation for x86 Instruction Decoding | IEEE Conference Publication | IEEE Xplore