| Title: | Concolic Testing for Deep Neural Networks |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Youcheng Sun |
| Min Wu | |
| Wenjie Ruan | |
| Xiaowei Huang | |
| Marta Kwiatkowska | |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{swrhkk2018,
AUTHOR = { Sun, Youcheng
and Wu, Min
and Ruan, Wenjie
and Huang, Xiaowei
and Kwiatkowska, Marta
and Kroening, Daniel },
TITLE = { Concolic Testing for Deep Neural Networks },
BOOKTITLE = { Automated Software Engineering (ASE) },
YEAR = { 2018 },
PUBLISHER = { ACM },
PAGES = { 109--119 },
ISBN = { 978-1-4503-5937-5 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.