Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang 0001, Marta Kwiatkowska, Daniel Kroening
Concolic testing for deep neural networks
ASE, 2018.
@inproceedings{ASE-2018-SunWRHKK,
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,
}