Mutation Selection: Some Could be Better than All. - Zhiyi Zhang 004; Dongjiang You; Zhenyu Chen 001; Yuming Zhou; Baowen Xu (EAST, 2011)

A New Approach to Evaluate Path Feasibility and Coverage Ratio of EFSM Based on Multi-objective Optimization. - Rui Yang; Zhenyu Chen 001; Baowen Xu; Zhiyi Zhang 004; Wujie Zhou (SEKE, 2012)

EFSM-Based Test Case Generation: Sequence, Data, and Oracle. - Rui Yang; Zhenyu Chen 001; Zhiyi Zhang 004; Baowen Xu (Int. J. Softw. Eng. Knowl. Eng., 2015)

An empirical study on constraint optimization techniques for test generation. - Zhiyi Zhang 004; Zhenyu Chen 001; Ruizhi Gao; W. Eric Wong; Baowen Xu (Sci. China Inf. Sci., 2017)

Generating Realistic Logically Unreasonable Faulty Data for Fault Injection. - Ju Qian; Fusheng Lin; Changjian Li 004; Zhiyi Zhang 004; Zhe Chen 011 (COMPSAC (2), 2018)

Beyond spatial and temporal memory safety. - Zhe Chen 011; Chuanqi Tao; Zhiyi Zhang 004; Zhibin Yang (ICSE (Companion Volume), 2018)

A Logic Pattern of Agents with Emotional Attitudes. - Chen Liu; Zhiyi Zhang 004; Yongming Yao; Yonghua Xu (DSA, 2019)

How to Effectively Reduce Tens of Millions of Tests: An Industrial Case Study on Adaptive Random Testing. - Zhiyi Zhang 004; Yabin Wang; Ziyuan Wang 001; Ju Qian (IEEE Trans. Reliab., 2019)

Test Data Augmentation for Image Recognition Software. - Pu Wang; Zhiyi Zhang 004; Yuqian Zhou; Zhiqiu Huang (QRS Companion, 2020)

Towards Generating Realistic and High Coverage Test Data for Constraint-Based Fault Injection. - Ju Qian; Yan Wang; Fusheng Lin; Changjian Li 004; Zhiyi Zhang 004; Xuefeng Yan (Int. J. Softw. Eng. Knowl. Eng., 2020)

A Revisit of Metrics for Test Case Prioritization Problems. - Ziyuan Wang 001; Chunrong Fang; Lin Chen 015; Zhiyi Zhang 004 (Int. J. Softw. Eng. Knowl. Eng., 2020)

DeepMnist: A method of white box testing based on hierarchy. - Yunjian Xu; Zhiyi Zhang 004; Yuqian Zhou; Ziyuan Wang 001; Zhiqiu Huang (QRS Companion, 2021)

DeepBackground: Metamorphic testing for Deep-Learning-driven image recognition systems accompanied by Background-Relevance. - Zhiyi Zhang 004; Pu Wang; Hongjing Guo; Ziyuan Wang 001; Yuqian Zhou; Zhiqiu Huang (Inf. Softw. Technol., 2021)

$n rightarrow 1$ Quantum random access codes using single 3-level systems. - Yuqian Zhou; Ya-Qi Dong; Qian-Kun Yao; Zhi-Yi Zhang 004; Dan Li 018; Qing-Le Wang (Quantum Inf. Process., 2021)

IEMT: Inequality-Based Metamorphic Testing for Autonomous Driving Models. - Chao Xiong; Zhiyi Zhang 004; Yuqian Zhou; Chen Liu; Zhiqiu Huang (QRS Companion, 2022)

Random or heuristic? An empirical study on path search strategies for test generation in KLEE. - Zhiyi Zhang 004; Ziyuan Wang 001; Fan Yang; Jiahao Wei; Yuqian Zhou; Zhiqiu Huang (J. Syst. Softw., 2022)

A Fine-Grained Evaluation of Mutation Operators for Deep Learning Systems: A Selective Mutation Approach. - Yichun Wang; Zhiyi Zhang 004; Yongming Yao; Zhiqiu Huang (Internetware, 2023)

BDGSE: A Symbolic Execution Technique for High MC/DC. - Huangli Cai; Zhiyi Zhang 004; Yifan Jian; Dan Li 018; Zhiqiu Huang (QRS, 2023)

Test Generation for Mutation Testing by Symbolic Execution. - Rui Su; Zhiyi Zhang 004; Yuqian Zhou; Yongming Yao (QRS Companion, 2023)

BTM: Black-Box Testing for DNN Based on Meta-Learning. - Zhuangyu Zhang; Zhiyi Zhang 004; Ziyuan Wang 001; Fang Chen; Zhiqiu Huang (QRS, 2023)

DeepRank: Test Case Prioritization for Deep Neural Networks. - Wei Li; Zhiyi Zhang 004; Yifan Jian; Chen Liu; Zhiqiu Huang (SEKE, 2023)

EATS: Efficient Adaptive Test Case Selection for Deep Neural Networks. - Huanze Meng; Zhiyi Zhang 004; Yuchen Ding; Shuxian Chen; Yongming Yao (QRS, 2024)

Efficient adaptive test case selection for DNNs robustness enhancement. - Zhiyi Zhang 004; Huanze Meng; Yuchen Ding; Shuxian Chen; Yongming Yao (J. Syst. Softw., 2025)

A fine-grained evaluation of mutation operators to boost mutation testing for deep learning systems. - Zhi-Yi Zhang 004; Yichun Wang; Yongming Yao; Ziyuan Wang 001; Zhiqiu Huang (Empir. Softw. Eng., 2025)