A Distributed Protective Approach for Multiechelon Supply Systems. - Xiaoyi Zhang 005; Zheng Zheng 001; Yueni Zhu; Kai-Yuan Cai (COMPSAC Workshops, 2013)

The r-interdiction median problem with probabilistic protection and its solution algorithm. - Yueni Zhu; Zheng Zheng 001; Xiaoyi Zhang 005; Kai-Yuan Cai (Comput. Oper. Res., 2013)

Protection issues for supply systems involving random attacks. - Xiaoyi Zhang 005; Zheng Zheng 001; Yueni Zhu; Kai-Yuan Cai (Comput. Oper. Res., 2014)

A critical chains based distributed multi-project scheduling approach. - Zheng Zheng 001; Ze Guo; Yueni Zhu; Xiaoyi Zhang 005 (Neurocomputing, 2014)

Using Partition Information to Prioritize Test Cases for Fault Localization. - Xiaoyi Zhang 005; Dave Towey; Tsong Yueh Chen; Zheng Zheng 001; Kai-Yuan Cai (COMPSAC, 2015)

Exploring the Instability of Spectra Based Fault Localization Performance. - Yuanchi Guo; Xiaoyi Zhang 005; Zheng Zheng 001 (COMPSAC, 2016)

The more obstacle information sharing, the more effective real-time path planning? - Zheng Zheng 001; Yang Liu 287; Xiaoyi Zhang 005 (Knowl. Based Syst., 2016)

A Cooperative Network Interdiction Model and Its Optimization Solution Algorithm. - Min He; Guangxun Du; Xiaoyi Zhang 005; Zheng Zheng 001 (Int. J. Comput. Intell. Syst., 2018)

Exploring the usefulness of unlabelled test cases in software fault localization. - Xiaoyi Zhang 005; Zheng Zheng 001; Kai-Yuan Cai (J. Syst. Softw., 2018)

A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms. - Xiaoyi Zhang 005; Zheng Zheng 001; Kai-Yuan Cai (IEEE Trans. Reliab., 2018)

Assessing the Relation Between Hazards and Variability in Automotive Systems. - Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (ICECCS, 2019)

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. - Sasinee Pruekprasert; Xiaoyi Zhang 005; Jérémy Dubut; Chao Huang 006; Masako Kishida (ITSC, 2019)

A Visualization Analytical Framework for Software Fault Localization Metrics. - Xiao-Yi Zhang 005; Zheng Zheng 001 (PRDC, 2019)

A Game Theoretic Approach to Decision Making for Multiple Vehicles at Roundabout. - Sasinee Pruekprasert; Jérémy Dubut; Xiaoyi Zhang 005; Chao Huang 014; Masako Kishida (CoRR, 2019)

Decision Making for Autonomous Vehicles at Unsignalized Intersection in Presence of Malicious Vehicles. - Sasinee Pruekprasert; Xiaoyi Zhang 005; Jérémy Dubut; Chao Huang 014; Masako Kishida (CoRR, 2019)

Robustness of spectrum-based fault localisation in environments with labelling perturbations. - Yanhong Xu; Beibei Yin; Zheng Zheng 001; Xiaoyi Zhang 005; Chenglong Li; Shunkun Yang (J. Syst. Softw., 2019)

Developing deep LSTM model for real-time path planning in unknown environments. - Haonan Yao; Yang Liu 287; Xiaoyi Zhang 005 (DSA, 2020)

Exploring the Characteristics of Spectra Distribution and Their Impacts on Fault Localization. - Xiao-Yi Zhang 005; Zheng Zheng 001 (EASE, 2020)

Leveraging test logs for building a self-adaptive path planner. - Kun Liu; Xiaoyi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Wenpin Jiao (SEAMS@ICSE, 2020)

Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. - Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Kun Liu (ISSRE, 2020)

SPICA: A Methodology for Reviewing and Analysing Fault Localisation Techniques. - Xiao-Yi Zhang 005; Mingyue Jiang (ICSME, 2021)

Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. - Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa (ICST, 2021)

What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. - Matias Duran; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (ISSRE, 2021)

Evaluating Natural Language Inference Models: A Metamorphic Testing Approach. - Mingyue Jiang; Houzhen Bao; Kaiyi Tu; Xiao-Yi Zhang 005; Zuohua Ding (ISSRE, 2021)

Parameter-Based Testing and Debugging of Autonomous Driving Systems. - Paolo Arcaini; Alessandro Calò; Fuyuki Ishikawa; Thomas Laurent 003; Xiao-Yi Zhang 005; Shaukat Ali 001; Florian Hauer 002; Anthony Ventresque (IV Workshops, 2021)

Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Fuyuki Ishikawa; Rongxin Wu; Tao Xie 001 (ASE, 2021)

Frenetic at the SBST 2021 Tool Competition. - Ezequiel Castellano; Ahmet Cetinkaya; Cédric Ho Thanh; Stefan Klikovits; Xiaoyi Zhang 005; Paolo Arcaini (SBST@ICSE, 2021)

Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Fuyuki Ishikawa; Rongxin Wu; Tao Xie 001 (GECCO Companion, 2022)

Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. - Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa (ICST, 2022)

Explaining the Behaviour of Game Agents Using Differential Comparison. - Ezequiel Castellano; Xiao-Yi Zhang 005; Paolo Arcaini; Toru Takisaka; Fuyuki Ishikawa; Nozomu Ikehata; Kosuke Iwakura (ASE, 2022)

Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. - Yixing Luo; Xiao-Yi Zhang 005; Paolo Arcaini; Zhi Jin; Haiyan Zhao 001; Linjuan Zhang; Fuyuki Ishikawa (RE, 2022)

A residual convolutional neural network based approach for real-time path planning. - Yang Liu 287; Zheng Zheng 001; Fangyun Qin; Xiaoyi Zhang 005; Haonan Yao (Knowl. Based Syst., 2022)

Adaptive Random Testing for Multiagent Path Finding Systems. - Yang Liu 287; Xiaoyi Zhang 005 (IEEE Trans. Reliab., 2022)

An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. - Mingyue Zhang; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (DSA, 2023)

Adaptive Search-based Repair of Deep Neural Networks. - Davide Li Calsi; Matias Duran; Thomas Laurent 003; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (GECCO, 2023)

Distributed Repair of Deep Neural Networks. - Davide Li Calsi; Matias Duran; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (ICST, 2023)

Automated Image Reduction for Explaining Black-box Classifiers. - Mingyue Jiang; Chengjian Tang; Xiao-Yi Zhang 005; Yangyang Zhao; Zuohua Ding (SANER, 2023)

An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. - Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (IEEE Trans. Dependable Secur. Comput., 2023)

Goal-Aware RSS for Complex Scenarios via Program Logic. - Ichiro Hasuo; Clovis Eberhart; James Haydon; Jérémy Dubut; Rose Bohrer; Tsutomu Kobayashi; Sasinee Pruekprasert; Xiao-Yi Zhang 005; Erik André Pallas; Akihisa Yamada 002; Kohei Suenaga; Fuyuki Ishikawa; et al. (IEEE Trans. Intell. Veh., 2023)

Distributed Repair of Deep Neural Networks (Hot off the Press at GECCO 2024). - Davide Li Calsi; Matias Duran; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa (GECCO Companion, 2024)

Metamorphic Testing of an Autonomous Delivery Robots Scheduler. - Thomas Laurent 003; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa (ICST, 2024)

MTAS: A Reference-Free Approach for Evaluating Abstractive Summarization Systems. - Xiaoyan Zhu; Mingyue Jiang; Xiao-Yi Zhang 005; Liming Nie; Zuohua Ding (Proc. ACM Softw. Eng., 2024)

DDImage: an image reduction based approach for automatically explaining black-box classifiers. - Mingyue Jiang; Chengjian Tang; Xiao-Yi Zhang 005; Yangyang Zhao; Zuohua Ding (Empir. Softw. Eng., 2024)

MET-MAPF: A Metamorphic Testing Approach for Multi-Agent Path Finding Algorithms. - Xiao-Yi Zhang 005; Yang Liu 287; Paolo Arcaini; Mingyue Jiang; Zheng Zheng 001 (ACM Trans. Softw. Eng. Methodol., 2024)

Multi-Agent Differential Testing for the Game of Go. - Jiaxue Song; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Yong Liu 030; Bin Du (SIGSOFT FSE Companion, 2025)

Fault localization of AI-enabled cyber-physical systems by exploiting temporal neuron activation. - Deyun Lyu; Yi Li 008; Zhenya Zhang; Paolo Arcaini; Xiaoyi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (J. Syst. Softw., 2025)

Automated program repair for variability bugs in software product line systems. - Thu-Trang Nguyen; Xiao-Yi Zhang 005; Paolo Arcaini; Fuyuki Ishikawa; Hieu Dinh Vo (J. Syst. Softw., 2025)

SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences. - Deyun Lyu; Zhenya Zhang; Paolo Arcaini; Xiao-Yi Zhang 005; Fuyuki Ishikawa; Jianjun Zhao 001 (ACM Trans. Softw. Eng. Methodol., 2025)