Xiao-Yi Zhang / 张逍怡


General Information

I'm a Project Researcher at National Institute of Informatics (Tokyo, Japan), engaged in the ERATO MMSD project led by Ichiro Hasuo.

Email: xiaoyi [at] nii.ac.jp

Office and postal address

Research Interests/Area:

Software Testing and Fault Localization

Intelligence Decisions

Path Planning for Intelligent Agents

Academic & Professional Experience:

01 Dec 2018 - Today Project Researcher, National Institute of Informatics

Education:

July 2011 - July 2018 Ph.D, School of Automation Science and Electrical Engineering, Beihang University, BUAA, Beijing, China

July 2010 - July 2011 Master, School of Automation Science and Electrical Engineering, Beihang University, BUAA, Beijing, China

July 2006 - July 2010 Bachelor, School of Automation Science and Electrical Engineering, Beihang University, BUAA, Beijing, China

Awards / Fundings

2018 Excellent graduates of Beihang University, BUAA

2016 Excellent Research Fund for Doctoral Students

2015 Short-term Visiting Fund for Doctoral Students

2009 Merit Student of School of Automation Science and Electrical Engineering.

Published Papers

Journal Papers

Xiao-Yi Zhang, Zheng Zheng, and Kai-Yuan Cai. "Exploring the usefulness of unlabelled test cases in software fault localization." Journal of Systems and Software 136 (2018): 278-290.

Xiao-Yi Zhang, Zheng Zheng, and Kai-Yuan Cai. "A Fortification Model for Decentralized Supply Systems and Its Solution Algorithms." IEEE Transactions on Reliability 67, no. 1 (2018): 381-400.

Xiao-Yi Zhang, Zheng Zheng, Yueni Zhu, and Kai-Yuan Cai. "Protection issues for supply systems involving random attacks." Computers and Operations Research 43 (2014): 137-156.

Xiao-Yi Zhang, Zheng Zheng, Shaohui Zhang, and Wenbo Du. "Partial interdiction median models for multi-sourcing supply systems." The International Journal of Advanced Manufacturing Technology 84, no. 1-4 (2016): 165-181.

Xiao-Yi Zhang, Zheng Zheng, Yue-Ni Zhu, and Shao-Hui Zhang. "Hierarchical-network based fortification approach for supply system [J]." Syst Eng Electron 36, no. 10 (2014): 1982-1993. [In Chinese]

Yan-Hong Xu, Bei-Bei Yin, Zheng Zheng, Xiao-Yi Zhang, Cheng-Long Li, and Shunkun Yang. "Robustness of spectrum-based fault localisation in environments with labelling perturbations." Journal of Systems and Software 147 (2019): 172-214.

Zheng Zheng, Yang Liu, and Xiao-Yi Zhang. "The more obstacle information sharing, the more effective real-time path planning?." Knowledge-Based Systems 114 (2016): 36-46.

Yueni Zhu, Zheng Zheng, Xiao-Yi Zhang, and Kaiyuan Cai. "The r-interdiction median problem with probabilistic protection and its solution algorithm." Computers and Operations Research 40, no. 1 (2013): 451-462.

Zheng Zheng, Ze Guo, Yueni Zhu, and Xiao-Yi Zhang. "A critical chains based distributed multi-project scheduling approach." Neurocomputing 143 (2014): 282-293.

Conference papers

Xiao-Yi Zhang, Dave Towey, Tsong Yueh Chen, Zheng Zheng, and Kai-Yuan Cai. "A random and coverage-based approach for fault localization prioritization." In Control and Decision Conference (CCDC), 2016 Chinese, pp. 3354-3361. IEEE, 2016.

Xiao-Yi Zhang, Dave Towey, Tsong Yueh Chen, Zheng Zheng, and Kai-Yuan Cai. "Using partition information to prioritize test cases for fault localization." In Computer Software and Applications Conference (COMPSAC), 2015 IEEE 39th Annual, vol. 2, pp. 121-126. IEEE, 2015.

Xiao-Yi Zhang, Zheng Zheng, Yueni Zhu, and Kaiyuan Cai. "A Distributed Protective Approach for Multiechelon Supply Systems." In Computer Software and Applications Conference Workshops (COMPSACW), 2013 IEEE 37th Annual, pp. 621-626. IEEE, 2013.

Yuanchi Guo, Xiao-Yi Zhang, and Zheng Zheng. "Exploring the instability of spectra based fault localization performance." In Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th Annual, vol. 1, pp. 191-196. IEEE, 2016.

Zheng Zheng, Xiao-Yi Zhang, Wei Liu, Wenlong Zhu, and Peng Hao. "Adapting Real-Time Path Planning to Threat Information Sharing." In Knowledge Engineering and Management: Proceedings of the Seventh International Conference on Intelligent Systems and Knowledge Engineering, Beijing, China, Dec 2012 (ISKE 2012), vol. 214, p. 317. Springer Science and Business Media, 2013.