Towards optimal concolic testing. - Xinyu Wang 001; Jun Sun 001; Zhenbang Chen; Peixin Zhang 001; Jingyi Wang 004; Yun Lin 001 (ICSE, 2018)

Detecting Adversarial Samples for Deep Neural Networks through Mutation Testing. - Jingyi Wang 004; Jun Sun 001; Peixin Zhang 001; Xinyu Wang 001 (CoRR, 2018)

Adversarial sample detection for deep neural network through model mutation testing. - Jingyi Wang 004; Guoliang Dong; Jun Sun 001; Xinyu Wang 001; Peixin Zhang 001 (ICSE, 2019)

There is Limited Correlation between Coverage and Robustness for Deep Neural Networks. - Yizhen Dong; Peixin Zhang 001; Jingyi Wang 004; Shuang Liu 007; Jun Sun 001; Jianye Hao; Xinyu Wang 001; Li Wang; Jin Song Dong; Dai Ting (CoRR, 2019)

An Empirical Study on Correlation between Coverage and Robustness for Deep Neural Networks. - Yizhen Dong; Peixin Zhang 001; Jingyi Wang 004; Shuang Liu 007; Jun Sun 001; Jianye Hao; Xinyu Wang 001; Li Wang; Jin Song Dong; Ting Dai (ICECCS, 2020)

White-box fairness testing through adversarial sampling. - Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Guoliang Dong; Xinyu Wang 001; Xingen Wang; Jin Song Dong 001; Ting Dai (ICSE, 2020)

Automatic Fairness Testing of Neural Classifiers through Adversarial Sampling. - Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Xinyu Wang 001; Guoliang Dong; Xingen Wang; Ting Dai; Jin Song Dong (CoRR, 2021)

Fairness Testing of Deep Image Classification with Adequacy Metrics. - Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Xinyu Wang 001 (CoRR, 2021)

Automatic Fairness Testing of Neural Classifiers Through Adversarial Sampling. - Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Xinyu Wang 001; Guoliang Dong; Xingen Wang; Ting Dai; Jin Song Dong 001 (IEEE Trans. Software Eng., 2022)

Towards Certified Probabilistic Robustness with High Accuracy. - Ruihan Zhang; Peixin Zhang 001; Jun Sun 001 (CoRR, 2023)

Backdoor Attack through Machine Unlearning. - Peixin Zhang 001; Jun Sun 001; Mingtian Tan; Xinyu Wang 001 (CoRR, 2023)

QuoTe: Quality-oriented Testing for Deep Learning Systems. - Jialuo Chen; Jingyi Wang 004; Xingjun Ma; Youcheng Sun; Jun Sun 001; Peixin Zhang 001; Peng Cheng 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Boosting Adversarial Training in Safety-Critical Systems Through Boundary Data Selection. - Yifan Jia 002; Christopher M. Poskitt; Peixin Zhang 001; Jingyi Wang 004; Jun Sun 001; Sudipta Chattopadhyay 001 (IEEE Robotics Autom. Lett., 2023)

Resilient Watermarking for LLM-Generated Codes. - Boquan Li 002; Mengdi Zhang 003; Peixin Zhang 001; Jun Sun 001; Xingmei Wang 002 (CoRR, 2024)

LLMScan: Causal Scan for LLM Misbehavior Detection. - Mengdi Zhang 003; Kai Kiat Goh; Peixin Zhang 001; Jun Sun 001 (CoRR, 2024)

RedTest: Towards Measuring Redundancy in Deep Neural Networks Effectively. - Yao Lu; Peixin Zhang 001; Jingyi Wang 004; Lei Ma; Xiaoniu Yang; Qi Xuan 001 (CoRR, 2024)

PRUNE: A Patching Based Repair Framework for Certifiable Unlearning of Neural Networks. - Xuran Li; Jingyi Wang 004; Xiaohan Yuan; Peixin Zhang 001; Zhan Qin; Zhibo Wang 001; Kui Ren 001 (CoRR, 2025)