An Evolutionary Perspective: A Study of Anubis Android Banking Trojan. - Baodi Ning; Guanqin Zhang; Zexin Zhong (DSA, 2020)

Flow2Vec: value-flow-based precise code embedding. - Yulei Sui; Xiao Cheng 002; Guanqin Zhang; Haoyu Wang 001 (Proc. ACM Program. Lang., 2020)

Path-sensitive code embedding via contrastive learning for software vulnerability detection. - Xiao Cheng 002; Guanqin Zhang; Haoyu Wang 001; Yulei Sui (ISSTA, 2022)

Eager to Stop: Efficient Falsification of Deep Neural Networks. - Guanqin Zhang (ICFEM, 2023)

A Tale of Two Cities: Data and Configuration Variances in Robust Deep Learning. - Guanqin Zhang; Jiankun Sun; Feng Xu; Yulei Sui; H. M. N. Dilum Bandara; Shiping Chen 001; Tim Menzies (IEEE Internet Comput., 2023)

Understanding the Robustness of Machine-Unlearning Models. - Guanqin Zhang; Feng Xu; H. M. N. Dilum Bandara; Shiping Chen 001; Yulei Sui (ACISP (3), 2025)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification. - Kota Fukuda; Guanqin Zhang; Zhenya Zhang; Yulei Sui; Jianjun Zhao 001 (DATE, 2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees. - Guanqin Zhang; Kota Fukuda; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (ECOOP, 2025)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees (Artifact). - Guanqin Zhang; Kota Fukuda; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Dagstuhl Artifacts Ser., 2025)

Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality. - Guanqin Zhang; Zhenya Zhang; H. M. N. Dilum Bandara; Shiping Chen 001; Jianjun Zhao 001; Yulei Sui (Proc. ACM Program. Lang., 2025)