Items where Author is "Zhao, Xingyu"

Journal Article

Huang, Wei and Sun, Youcheng and Zhao, Xingyu and Sharp, James and Ruan, Wenjie and Meng, Jie and Huang, Xiaowei (2022) Coverage-Guided Testing for Recurrent Neural Networks. IEEE Transactions on Reliability, 71 (3): 3. pp. 1191-1206. ISSN 0018-9529

Contribution in Book/Report/Proceedings

Zhao, Xingyu and Osborne, Matt and Lantair, Jenny and Robu, Valentin and Flynn, David and Huang, Xiaowei and Fisher, Michael and Papacchini, Fabio and Ferrando, Angelo (2019) Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management. In: Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings :. UNSPECIFIED.