Items where Author is "Sun, Youcheng"

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

Ruan, Wenjie and Wu, Min and Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Kwiatkowska, Marta (2019) Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China :. IJCAI, pp. 5944-5952. ISBN 9780999241141

Sun, Youcheng and Wu, Min and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta and Kroening, Daniel (2018) Concolic testing for deep neural networks. In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018 :. Association for Computing Machinery (ACM), New York, pp. 109-119. ISBN 9781450359375