Tensor-Based Batch Fuzzing with Adaptive Perturbation Scaling for Deep Neural Networks
Guanqin Zhang, Yulei Sui ASE 2026 (CORE A*)
Download Paper
Publications
You can also find my articles on my Google Scholar profile.
Conference Papers
Branch and Bound for Relational Verification of Neural Networks
Kota Fukuda, Zhenya Zhang, Guanqin Zhang, Jianjun Zhao EMSOFT 2026 (TCAD)
Mining Verdict Boundaries for Neural Network Verification
Jiawei Ren, Guanqin Zhang, Zhenya Zhang, Yulei Sui FM 2026 (CORE A)
Download Paper
Evaluating LLM Personalization via Semantic Constraint Verification
Xuran Li, Guanqin Zhang, Imran Razzak, Hakim Hacid, Eleni Kafeza, Hao Xue, Flora D. Salim arXiv preprint 2026
Download Paper
Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality
Guanqin Zhang,Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui. OOPSLA 2025 (CORE A)
Download Paper | Download Slides | GitHub
Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Tree
Guanqin Zhang, Kota Fukuda, Zhenya Zhang, Dilum Bandara, Shiping Chen, Jianjun Zhao, Yulei Sui ECOOP 2025 (CORE A)
Download Paper | Download Slides | Extended Version | GitHub
Understanding the Robustness of Machine-Unlearning Models
Guanqin Zhang,Feng Xu, H. M. N. Dilum Bandara, Shiping Chen, Yulei Sui. ACISP 2025 (CORE Australasian B)
Download Paper | Download Slides
Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
Kota Fukuda, Guanqin Zhang, Zhenya Zhang, Yulei Sui, Jianjun Zhao Date 2025 (CORE B)
Download Paper | GitHub
Eager to Stop: Efficient Falsification of Deep Neural Networks
Guanqin Zhang, ICFEM 2023 (CORE C)
Download Paper | Download Slides
Path-sensitive code embedding via contrastive learning for software vulnerability detection
Xiao Cheng, Guanqin Zhang, Haoyu Wang, Yulei Sui, ISSTA 2022 (CORE A)
Download Paper | Download Slides
Flow2vec: Value-flow-based precise code embedding
Yulei Sui, Xiao Cheng, Guanqin Zhang and Haoyu Wang, OOPSLA 2020 (CORE A)
Download Paper | Download Slides
Journal Papers
Interpretable Verification Mechanism for Trustworthy Industrial Large Model in Intelligent Manufacturing
Shuxuan Zhao, Guanqin Zhang, S. Liu, J. Zhang, H. M. N. Dilum Bandara, Ray Y. Zhong, Lihong Wang Engineering 2025
A tale of two cities: data and configuration variances in robust deep learning
Guanqin Zhang, Jiankun Sun, Feng Xu, H.M.N. Dilum Bandara, Shiping Chen, Yulei Sui, Tim Menzies, IEEE Internet Computing 2023
Download Paper
Theses
Order-Leading Branch and Bound for Neural Network Verification
Guanqin Zhang. PhD Thesis, UNSW Sydney, 2025
Static Symbolic Execution in SVF
Guanqin Zhang. MPhil Thesis, UTS, 2022
Download Paper