Concolic Testing for Deep Neural Networks
Youcheng Sun‚ Min Wu‚ Wenjie Ruan‚ Xiaowei Huang‚ Marta Kwiatkowska and Daniel Kroening
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering
ISBN
9781450359375
Keywords
symbolic execution‚ neural networks‚ concolic testing
Location
Montpellier‚ France
Pages
109–119
Publisher
Association for Computing Machinery
Series
ASE 2018
Year
2018