%0 Conference Paper %1 conf/sigsoft/LiLHY0ZXH20 %A Li, Renjue %A Li, Jianlin %A Huang, Cheng-Chao %A Yang, Pengfei %A Huang, Xiaowei %A Zhang, Lijun %A Xue, Bai %A Hermanns, Holger %B ESEC/SIGSOFT FSE %D 2020 %E Devanbu, Prem %E Cohen, Myra B. %E Zimmermann, Thomas %I ACM %K dblp %P 1630-1634 %T PRODeep: a platform for robustness verification of deep neural networks. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#LiLHY0ZXH20 %@ 978-1-4503-7043-1

@inproceedings{conf/sigsoft/LiLHY0ZXH20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Li, Renjue and Li, Jianlin and Huang, Cheng-Chao and Yang, Pengfei and Huang, Xiaowei and Zhang, Lijun and Xue, Bai and Hermanns, Holger}, biburl = {https://www.bibsonomy.org/bibtex/29063d96f93aa3debdd1796b5a8fd5c49/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2020}, editor = {Devanbu, Prem and Cohen, Myra B. and Zimmermann, Thomas}, ee = {https://doi.org/10.1145/3368089.3417918}, interhash = {4016b7fd8802ce8c28d9a1187eb06e35}, intrahash = {9063d96f93aa3debdd1796b5a8fd5c49}, isbn = {978-1-4503-7043-1}, keywords = {dblp}, pages = {1630-1634}, publisher = {ACM}, timestamp = {2024-04-10T18:20:02.000+0200}, title = {PRODeep: a platform for robustness verification of deep neural networks.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2020.html#LiLHY0ZXH20}, year = 2020 }