DeepConcolic: testing and debugging deep neural networks

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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings
Pages	111-114
Number of pages	4
Publication status	Published - 2019

Cite this

Sun, Y., Huang, X., Kroening, D., Sharp, J., Hill, M., & Ashmore, R. (2019). DeepConcolic: testing and debugging deep neural networks. In Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (pp. 111-114)

@inproceedings{149f0287094e4e8688c73a61b407aa41,

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",

pages = "111--114",

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

}