Automatic Generation of Non-intrusive Updates for Third-Party Libraries in Android Applications. - Yue Duan; Lian Gao; Jie Hu 031; Heng Yin 001 (RAID, 2019)

Augmenting Greybox Fuzzing with Generative AI. - Jie Hu 031; Qian Zhang 020; Heng Yin 001 (CoRR, 2023)

Marco: A Stochastic Asynchronous Concolic Explorer (Source Code). - Jie Hu 031; Yue Duan; Heng Yin 001 (Zenodo, 2023)

Marco: A Stochastic Asynchronous Concolic Explorer. - Jie Hu 031; Yue Duan; Heng Yin 001 (ICSE, 2024)

Calico: Automated Knowledge Calibration and Diagnosis for Elevating AI Mastery in Code Tasks. - Yuxin Qiu; Jie Hu 031; Qian Zhang 020; Heng Yin 001 (ISSTA, 2024)

SymFit: Making the Common (Concrete) Case Fast for Binary-Code Concolic Execution. - Zhenxiao Qi; Jie Hu 031; Zhaoqi Xiao; Heng Yin 001 (USENIX Security Symposium, 2024)