Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Wed Nov 13 14:44:50 2019 GMT.