Differential Testing of x86 Instruction Decoders with Instruction Operand Inferring Algorithm. - Guang Wang 005; Ziyuan Zhu; Shuan Li; Xu Cheng 001; Dan Meng 002 (ICCD, 2021)

In-depth Testing of x86 Instruction Disassemblers with Feedback Controlled DFS Algorithm. - Guang Wang 005; Ziyuan Zhu; Xu Cheng 001; Dan Meng 002 (ICCD, 2022)

A High-Coverage and Efficient Instruction-Level Testing Approach for x86 Processors. - Guang Wang 005; Ziyuan Zhu; Xu Cheng 001; Dan Meng 002 (IEEE Trans. Computers, 2023)