Papers

• Li, L., Zhang, X. Y., Tang, S., Zhang, Z., Zhao, J. (2026) META²V2V: Revealing Behavioural Deviations under Mutual Perception in Multi-Vehicle Autonomous Driving. ICSE 2026, accepted
• Wei, X., Sun, C. A., Zhang, X. Y., & Towey, D. (2025). MulAD: A Log-based Anomaly Detection Approach for Distributed Systems using Multi-Pattern and Multi-Model Fusion. Science of Computer Programming, 103433.
• Huang, R., Yang, B., Wu, S., Li, Z., Paul, D., Zhang, X. Y., ... & Liu, Y. (2025). GraMuS: Boosting Statement-level Fault Localization via Graph Representation and Multimodal Information. Journal of Systems and Software, 112700.
• Chen, Q., Zhang, M., & Zhang, X. Y. (2025, October). Testing Open-World Games: A Minecraft Case Study. In 2025 IEEE 36th International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 01-08). IEEE.
• Wei, X., Sun, C. A., Yang, P., Zhang, X. Y., & Towey, D. (2025). TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences. Science of Computer Programming, 245, 103303.
• Jiang, M., Hu, B., & Zhang, X. Y. (2025). Metamorphic testing for textual and visual entailment: A unified framework for model evaluation and explanation. Information and Software Technology, 107855.
• Song, J., Zhang, X. Y., Arcaini, P., Ishikawa, F., Liu, Y., & Du, B. (2025, June). Multi-agent differential testing for the game of go. In Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering (pp. 1453-1460).
• Lyu, D., Li, Y., Zhang, Z., Arcaini, P., Zhang, X. Y., Ishikawa, F., & Zhao, J. (2025). Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. Journal of Systems and Software, 112475.
• Lyu, D., Zhang, Z., Arcaini, P., Zhang, X. Y., Ishikawa, F., & Zhao, J. (2025). SpectAcle: Fault localisation of AI-Enabled CPS by exploiting sequences of DNN controller inferences. ACM Transactions on Software Engineering and Methodology, 34(4), 1-35.
• Zhang, M., Li, N., Chen, Y., Li, J., Zhang, X. Y., Zhao, H., ... & Chen, W. (2025, April). Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding. In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 39, No. 22, pp. 23369-23377).
• Nguyen, T. T., Zhang, X. Y., Arcaini, P., Ishikawa, F., & Vo, H. D. (2025). Automated program repair for variability bugs in software product line systems. Journal of Systems and Software, 221, 112152.
• 张逍怡, 李幸, 刘洋, 郑征, & 孙昌爱. (2024). 面向智能体路径规划算法的动态随机测试方法. 软件学报, 36(7), 3109-3133.
• Zhang, X. Y., Liu, Y., Arcaini, P., Jiang, M., & Zheng, Z. (2024). Met-mapf: A metamorphic testing approach for multi-agent path finding algorithms. ACM Transactions on Software Engineering and Methodology, 33(8), 1-37.
• Jiang, W., Dong, S., Zhang, J., Tang, J., Zhang, Z., Sun, C. A., & Zhang, X. Y. (2024, October). Towards Mutation Testing of Embedded Software: A Framework and Case Study. In 2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 143-150). IEEE.
• Li, L., Zhang, X. Y., Tang, S., Zhang, Z., & Zhao, J. (2024, October). Impact of V2V Communication on Robustness of Autonomous Driving Systems. In 2024 IEEE 35th International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 151-154). IEEE.
• Sun, C. A., Xing, J., Li, X., Zhang, X. Y., & Fu, A. (2024, September). Metamorphic testing of image processing applications: A general framework and optimization strategies. In Proceedings of the 9th ACM International Workshop on Metamorphic Testing (pp. 26-33).
• Jiang, M., Tang, C., Zhang, X. Y., Zhao, Y., & Ding, Z. (2024). DDImage: an image reduction based approach for automatically explaining black-box classifiers. Empirical Software Engineering, 29(5), 129.
• Zhu, X., Jiang, M., Zhang, X. Y., Nie, L., & Ding, Z. (2024). MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems. Proceedings of the ACM on Software Engineering, 1(FSE), 2561-2583.
• Wei, X., Sun, C. A., & Zhang, X. Y. (2024). KAD: a knowledge formalization-based anomaly detection approach for distributed systems. Software Quality Journal, 32(2), 821-845.
• Laurent, T., Arcaini, P., Zhang, X. Y., & Ishikawa, F. (2024, May). Metamorphic testing of an autonomous delivery robots scheduler. In 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) (pp. 361-372). IEEE.
• Liu, Y., Zhu, X., Zhang, X. Y., Xiao, J., & Yu, X. (2024). Rgg-pso+: Random geometric graphs based particle swarm optimization method for UAV path planning. International Journal of Computational Intelligence Systems, 17(1), 127.
• Zhang, M., Zhang, X. Y., Arcaini, P., & Ishikawa, F. (2023, August). An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. In 2023 10th International Conference on Dependable Systems and Their Applications (DSA) (pp. 734-742). IEEE.
• Li Calsi, D., Duran, M., Laurent, T., Zhang, X. Y., Arcaini, P., & Ishikawa, F. (2023, July). Adaptive search-based repair of deep neural networks. In Proceedings of the Genetic and Evolutionary Computation Conference (pp. 1527-1536).
• Calsi, D. L., Duran, M., Zhang, X. Y., Arcaini, P., & Ishikawa, F. (2023, April). Distributed repair of deep neural networks. In 2023 IEEE Conference on Software Testing, Verification and Validation (ICST) (pp. 83-94). IEEE.
• Jiang, M., Tang, C., Zhang, X. Y., Zhao, Y., & Ding, Z. (2023, March). Automated image reduction for explaining black-box classifiers. In 2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (pp. 367-378). IEEE.
• Castellano, E., Zhang, X. Y., Arcaini, P., Takisaka, T., Ishikawa, F., Ikehata, N., & Iwakura, K. (2022, October). Explaining the behaviour of game agents using differential comparison. In Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering (pp. 1-8).
• Luo, Y., Zhang, X. Y., Arcaini, P., Jin, Z., Zhao, H., Zhang, L., & Ishikawa, F. (2022, August). Hierarchical assessment of safety requirements for configurations of autonomous driving systems. In 2022 IEEE 30th International Requirements Engineering Conference (RE) (pp. 88-100). IEEE.
• Hasuo, I., Eberhart, C., Haydon, J., Dubut, J., Bohrer, R., Kobayashi, T., Pruekprasert, S., Zhang, X. Y., Pallas, E.A., Yamada, A. and Suenaga, K. (2022). Goal-aware RSS for complex scenarios via program logic. IEEE Transactions on Intelligent Vehicles, 8(4), 3040-3072.
• Liu, Y., Zheng, Z., Qin, F., Zhang, X. Y., & Yao, H. (2022). A residual convolutional neural network based approach for real-time path planning. Knowledge-Based Systems, 242, 108400.
• Less is more: Simplification of test scenarios for autonomous driving system testing
• Zhang, X. Y., Arcaini, P., & Ishikawa, F. (2022). An incremental approach for understanding collision avoidance of an industrial path planner. IEEE Transactions on Dependable and Secure Computing, 20(4), 2713-2730.
• Liu, Y., & Zhang, X. Y. (2022). Adaptive Random Testing for Multiagent Path Finding Systems. IEEE Transactions on Reliability, 71(1), 295-308.
• Luo, Y., Zhang, X. Y., Arcaini, P., Jin, Z., Zhao, H., Ishikawa, F., ... & Xie, T. (2021, November). Targeting requirements violations of autonomous driving systems by dynamic evolutionary search. In 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 279-291). IEEE.
• Jiang, M., Bao, H., Tu, K., Zhang, X. Y., & Ding, Z. (2021, October). Evaluating natural language inference models: A metamorphic testing approach. In 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) (pp. 220-230). IEEE.
• Duran, M., Zhang, X. Y., Arcaini, P., & Ishikawa, F. (2021, October). What to blame? on the granularity of fault localization for deep neural networks. In 2021 IEEE 32nd International Symposium on Software Reliability Engineering (ISSRE) (pp. 264-275). IEEE.
• Zhang, X. Y., & Jiang, M. (2021, September). Spica: a methodology for reviewing and analysing fault localisation techniques. In 2021 IEEE International Conference on Software Maintenance and Evolution (ICSME) (pp. 366-377). IEEE.
• Arcaini, P., Calò, A., Ishikawa, F., Laurent, T., Zhang, X. Y., Ali, S., ... & Ventresque, A. (2021, July). Parameter-based testing and debugging of autonomous driving systems. In 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops) (pp. 197-202). IEEE.
• Arcaini, P., Zhang, X. Y., & Ishikawa, F. (2021, April). Targeting patterns of driving characteristics in testing autonomous driving systems. In 2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) (pp. 295-305). IEEE.
• Zhang, X. Y., Arcaini, P., Ishikawa, F., and Liu, K. (2020, October). Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. In2020 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE)
• Liu, K., Zhang, X. Y.,, Arcaini, P., Ishikawa, F., and Jiao, W. (2020, June). Leveraging test logs for building a self-adaptive path planner. In Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (pp. 57-63).
• Zhang, X. Y., and Zheng, Z. (2020). Exploring the Characteristics of Spectra Distribution and Their Impacts on Fault Localization. In Proceedings of the Evaluation and Assessment in Software Engineering (pp. 100-109).
• Zhang, X. Y., Arcaini, P., and Ishikawa, F. (2019, November). Assessing the Relation Between Hazards and Variability in Automotive Systems. In 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) (pp. 190-199). IEEE.
• Zhang, X. Y., and Zheng, Z. (2019, December). A Visualization Analytical Framework for Software Fault Localization Metrics. In 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC) (pp. 148-14809). IEEE.
• Zhang, X. Y.,, and Zheng, J. (2019, August). A Framework for Localizing Aging-Related Bugs in a Random and Dynamic Way. In 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech) (pp. 693-698). IEEE.
• Pruekprasert, S., Zhang, X. Y.,, Dubut, J., Huang, C., and Kishida, M. (2019, October). Decision making for autonomous vehicles at unsignalized intersection in presence of malicious vehicles. In 2019 IEEE Intelligent Transportation Systems Conference (ITSC) (pp. 2299-2304). IEEE.
• Zhang, X. Y., Zheng, Z., and Cai, K. Y. (2018). Exploring the usefulness of unlabelled test cases in software fault localization. Journal of Systems and Software, 136, 278-290.
• Zhang, X. Y., Zheng, Z., and Cai, K. Y. (2017). A fortification model for decentralized supply systems and its solution algorithms. IEEE Transactions on Reliability, 67(1), 381-400.
• Zheng, Z., Liu, Y., Zhang, X. Y. (2016). The more obstacle information sharing, the more effective real-time path planning?. Knowledge-Based Systems, 114, 36-46.
• Zhang, X. Y., Zheng, Z., Zhang, S., and Du, W. (2016). Partial interdiction median models for multi-sourcing supply systems. The International Journal of Advanced Manufacturing Technology, 84(1-4), 165-181.
• Guo, Y., Zhang, X. Y., and Zheng, Z. (2016, June). Exploring the instability of spectra based fault localization performance. In 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC) (Vol. 1, pp. 191-196). IEEE.
• Zhang, X. Y., Towey, D., Chen, T. Y., Zheng, Z., and Cai, K. Y. (2015, July). Using partition information to prioritize test cases for fault localization. In 2015 IEEE 39th Annual Computer Software and Applications Conference (Vol. 2, pp. 121-126). IEEE.
• Zhang, X. Y., Towey, D., Chen, T. Y., Zheng, Z., and Cai, K. Y. (2015, July). Using partition information to prioritize test cases for fault localization. In 2015 IEEE 39th Annual Computer Software and Applications Conference (Vol. 2, pp. 121-126). IEEE.
• Zhang, X. Y., Zheng, Z., Zhu, Y., and Cai, K. Y. (2014). Protection issues for supply systems involving random attacks. Computers and operations research, 43, 137-156.
• Zhang, X. Y., Zheng, Z., Zhu, Y., and Zhang, S. (2014). Hierarchical-network based fortification approach for supply system [J]. Syst Eng Electron, 36(10), 1982-1993. [In chinese]
• Zheng, Z., Guo, Z., Zhu, Y., and Zhang, X. Y.(2014). A critical chains based distributed multi-project scheduling approach. Neurocomputing, 143, 282-293.
• Zhu, Y., Zheng, Z., Zhang, X. Y., and Cai, K. (2013). The r-interdiction median problem with probabilistic protection and its solution algorithm. Computers and Operations Research, 40(1), 451-462.
• Zheng, Z., Zhang, X. Y., Liu, W., Zhu, W., and Hao, P. (2014). Adapting real-time path planning to threat information sharing. In Knowledge Engineering and Management (pp. 317-329). Springer, Berlin, Heidelberg.