%0 Conference Paper %1 conf/icse/GopinathPWZK19 %A Gopinath, Divya %A Pasareanu, Corina S. %A Wang, Kaiyuan %A Zhang, Mengshi %A Khurshid, Sarfraz %B ICSE (Companion Volume) %D 2019 %E Atlee, Joanne M. %E Bultan, Tevfik %E Whittle, Jon %I IEEE / ACM %K dblp %P 282-283 %T Symbolic execution for attribution and attack synthesis in neural networks. %U http://dblp.uni-trier.de/db/conf/icse/icse2019c.html#GopinathPWZK19 %@ 978-1-7281-1764-5

@inproceedings{conf/icse/GopinathPWZK19, added-at = {2019-08-29T00:00:00.000+0200}, author = {Gopinath, Divya and Pasareanu, Corina S. and Wang, Kaiyuan and Zhang, Mengshi and Khurshid, Sarfraz}, biburl = {https://www.bibsonomy.org/bibtex/2ff2da4edfcb8c4e2dcd5cef69646ced9/dblp}, booktitle = {ICSE (Companion Volume)}, crossref = {conf/icse/2019c}, editor = {Atlee, Joanne M. and Bultan, Tevfik and Whittle, Jon}, ee = {https://dl.acm.org/citation.cfm?id=3339785}, interhash = {e8044707983cef74862da78feb6f3101}, intrahash = {ff2da4edfcb8c4e2dcd5cef69646ced9}, isbn = {978-1-7281-1764-5}, keywords = {dblp}, pages = {282-283}, publisher = {IEEE / ACM}, timestamp = {2024-04-10T00:11:44.000+0200}, title = {Symbolic execution for attribution and attack synthesis in neural networks.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2019c.html#GopinathPWZK19}, year = 2019 }