Fingerprint
Dive into the research topics of 'Concolic Testing for Deep Neural Networks'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Concolic Testing for Deep Neural Networks
Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
208
Citations
(Scopus)
430
Downloads
(Pure)