Publications

2024

  1. TSE
    EXAMINER-PRO: Testing Arm Emulators across Different Privileges
    Muhui Jiang, Xiaoye Zheng, Rui Chang, and 2 more authors
    IEEE Transactions on Software Engineering, 2024

2023

  1. TOSEM
    A closer look at the security risks in the rust ecosystem
    Xiaoye Zheng, Zhiyuan Wan, Yun Zhang, and 2 more authors
    ACM Transactions on Software Engineering and Methodology, 2023