Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid. Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. In Katinka Wolter, Ina Schieferdecker, Barbara Gallina, Michel Cukier, Roberto Natella, Naghmeh Ivaki, Nuno Laranjeiro, editors, 30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019. pages 313-322, IEEE, 2019. [doi]
@inproceedings{GopinathZWKPK19,
title = {Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks},
author = {Divya Gopinath and Mengshi Zhang and Kaiyuan Wang and Ismet Burak Kadron and Corina S. Pasareanu and Sarfraz Khurshid},
year = {2019},
doi = {10.1109/ISSRE.2019.00039},
url = {https://doi.org/10.1109/ISSRE.2019.00039},
researchr = {https://researchr.org/publication/GopinathZWKPK19},
cites = {0},
citedby = {0},
pages = {313-322},
booktitle = {30th IEEE International Symposium on Software Reliability Engineering, ISSRE 2019, Berlin, Germany, October 28-31, 2019},
editor = {Katinka Wolter and Ina Schieferdecker and Barbara Gallina and Michel Cukier and Roberto Natella and Naghmeh Ivaki and Nuno Laranjeiro},
publisher = {IEEE},
isbn = {978-1-7281-4982-0},
}