DeepConcolic:  testing and debugging deep neural networks

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

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings
Publication status	Published - 2019

Cite this

@inproceedings{175dcbd1089f4515a9335c710595a16a,

title = "DeepConcolic: testing and debugging deep neural networks",

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

year = "2019",

language = "English",

booktitle = "Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings",

}

TY - GEN

T1 - DeepConcolic

T2 - testing and debugging deep neural networks

AU - Sun, Youcheng

AU - Huang, Xiaowei

AU - Kroening, Daniel

AU - Sharp, James

AU - Hill, Matthew

AU - Ashmore, Rob

PY - 2019

Y1 - 2019

UR - https://pure.qub.ac.uk/en/publications/149f0287-094e-4e86-88c7-3a61b407aa41

M3 - Conference contribution

BT - Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings

ER -