Up a level |
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.