Up a level |
Number of items: 1.
Sun, Y, Huang, X ORCID: 0000-0001-6267-0366, Kroening, D, Sharp, J, Hill, M and Ashmore, R
(2019)
Structural test coverage criteria for deep neural networks.
Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019.
320 - 321.