Title: | Structural Test Coverage Criteria for Deep Neural Networks |
---|---|
Links: | Homepage |
Authors: | Youcheng Sun |
Xiaowei Huang | |
Daniel Kroening EMail | |
James Sharp | |
Matthew Hill | |
Rob Ashmore | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{shksha2018-cov, AUTHOR = { Sun, Youcheng and Huang, Xiaowei and Kroening, Daniel and Sharp, James and Hill, Matthew and Ashmore, Rob }, TITLE = { Structural Test Coverage Criteria for Deep Neural Networks }, BOOKTITLE = { ICSE 2019 Companion Proceedings }, YEAR = { 2019 }, PUBLISHER = { IEEE }, PAGES = { 320--321 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.