@InProceedings{SWR+18,
author={Y. Sun, M. Wu, W. Ruan, X. Huang, M. Kwiatkowska and D. Kroening},
title={Concolic Testing for Deep Neural Networks},
booktitle={Proc. 33rd IEEE/ACM International Conference on Automated Software Engineering {ASE'18}},
year={2018},
pages={},
organization={},
publisher={ACM},
series={},
volume={},
ISBN={978-1-4503-5937-5/18/09},
address={},
month={},
doi={10.1145/3238147.3238172}
note={To appear.}
}