Concolic testing for deep neural networks
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang 0001, Marta Kwiatkowska, Daniel Kroening
Concolic testing for deep neural networks
ASE, 2018.

ASE 2018
Full names Links ISxN
	author        = "Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang 0001 and Marta Kwiatkowska and Daniel Kroening",
	booktitle     = "{Proceedings of the 33rd International Conference on Automated Software Engineering}",
	doi           = "10.1145/3238147.3238172",
	pages         = "109--119",
	publisher     = "{ACM}",
	title         = "{Concolic testing for deep neural networks}",
	year          = 2018,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.