Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 2.


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.

This list was generated on Sun Mar 10 03:29:39 2024 GMT.