Browse by People

Sun, Youcheng, Wu, Min, Ruan, Wenjie, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kwiatkowska, Marta and Kroening, Daniel (2018) Concolic Testing for Deep Neural Networks. In: 33rd IEEE/ACM International Conference on Automated Software Engineering, 2018-9-3 - 2018-9-7, Montpellier, France.

Huang, Wei, Sun, Youcheng, Zhao, Xingyu ORCID: 0000-0002-3474-349X, Sharp, James, Ruan, Wenjie, Meng, Jie and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2022) Coverage-Guided Testing for Recurrent Neural Networks. IEEE TRANSACTIONS ON RELIABILITY, 71 (3). pp. 1191-1206.

Huang, Wei, Zhou, Yifan ORCID: 0000-0002-1477-5777, Sun, Youcheng, Sharp, James, Maskell, Simon ORCID: 0000-0003-1917-2913 and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) Practical Verification of Neural Network Enabled State Estimation System for Robotics. In: 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020-10-24 - 2021-1-24.

Sun, Youcheng, Zhou, Yifan ORCID: 0000-0002-1477-5777, Maskell, Simon ORCID: 0000-0003-1917-2913, Sharp, James and Huang, Xiaowei ORCID: 0000-0001-6267-0366 (2020) Reliability Validation of Learning Enabled Vehicle Tracking. 2020 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 00. pp. 9390-9396.

Sun, Youcheng, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Sharp, James, Hill, Matthew and Ashmore, Rob (2019) Structural Test Coverage Criteria for Deep Neural Networks. ACM Transactions on Embedded Computing Systems, 18 (5S). pp. 1-23.

Sun, Youcheng, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Sharp, James, Hill, Matthew and Ashmore, Rob (2019) Structural Test Coverage Criteria for Deep Neural Networks. 2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2019). pp. 320-321.

Huang, Xiaowei ORCID: 0000-0001-6267-0366, Kroening, Daniel, Ruan, Wenjie, Sharp, James, Sun, Youcheng, Thamo, Emese, Wu, Min and Yi, Xinping ORCID: 0000-0001-5163-2364 (2020) A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability? COMPUTER SCIENCE REVIEW, 37. p. 100270.