PAPERS

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.