Xingwu Guo, Wenjie Wan, Zhaodi Zhang, Min Zhang, Fu Song, Xuejun Wen. Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks. In Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki, editors, 32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021. pages 345-356, IEEE, 2021. [doi]
@inproceedings{GuoWZZSW21,
title = {Eager Falsification for Accelerating Robustness Verification of Deep Neural Networks},
author = {Xingwu Guo and Wenjie Wan and Zhaodi Zhang and Min Zhang and Fu Song and Xuejun Wen},
year = {2021},
doi = {10.1109/ISSRE52982.2021.00044},
url = {https://doi.org/10.1109/ISSRE52982.2021.00044},
researchr = {https://researchr.org/publication/GuoWZZSW21},
cites = {0},
citedby = {0},
pages = {345-356},
booktitle = {32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021},
editor = {Zhi Jin and Xuandong Li and Jianwen Xiang and Leonardo Mariani and Ting Liu and Xiao Yu and Nahgmeh Ivaki},
publisher = {IEEE},
isbn = {978-1-6654-2587-2},
}