| emsoft | participants

Daniel Kroening

EMSOFT 2019: 19th International Conference on Embedded Software

Structural Test Coverage Criteria for Deep Neural Networks

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, and Rob Ashmore