Zhang, Xiangyu

Trojaning Attack on Neural Networks

Liu, Y., Ma, S., Aafer, Y., Lee, W.-C., Zhai, J., Wang, W., & Zhang, X. (2018) · Proceedings 2018 Network and Distributed System Security Symposium

Adversarial Robustness in Machine LearningSecurity and Verification in Computing

Cited by 1,270

DocTer: documentation-guided fuzzing for testing deep learning API functions

Xie, D., Li, Y., Kim, M., Pham, H. V., Tan, L., Zhang, X., & Godfrey, M. W. (2022) · Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

Software Testing and Debugging TechniquesSoftware Engineering Research

Cited by 81

Cyber-Physical Inconsistency Vulnerability Identification for Safety Checks in Robotic Vehicles

Choi, H., Kate, S., Aafer, Y., Zhang, X., & Xu, D. (2020) · Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security

Software Testing and Debugging TechniquesSafety Systems Engineering in Autonomy

Cited by 27