Seguir
Jingyi Wang
Jingyi Wang
Assistant Professor, Zhejiang University
Dirección de correo verificada de zju.edu.cn - Página principal
Título
Citado por
Citado por
Año
Adversarial sample detection for deep neural network through model mutation testing
J Wang, G Dong, J Sun, X Wang, P Zhang
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
1752019
White-box fairness testing through adversarial sampling
P ZHANG, J WANG, J SUN, G DONG, X WANG, X WANG, JS DONG, ...
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020
1042020
Towards Optimal Concolic Testing
X Wang, J Sun, Z Chen, P Zhang, J Wang, Y Lin
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018
772018
RobOT: Robustness-oriented testing for deep learning systems
J Wang, J Chen, Y Sun, X Ma, D Wang, J Sun, P Cheng
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
632021
An empirical study on correlation between coverage and robustness for deep neural networks
Y Dong, P Zhang, J Wang, S Liu, J Sun, J Hao, X Wang, L Wang, J Dong, ...
2020 25th International Conference on Engineering of Complex Computer …, 2020
60*2020
Copy, Right? A Testing Framework for Copyright Protection of Deep Learning Models
J Chen, J Wang, T Peng, Y Sun, P Cheng, S Ji, X Ma, B Li, D Song
2022 IEEE Symposium on Security and Privacy (SP), 2022
562022
Detecting adversarial samples for deep neural networks through mutation testing
J Wang, J Sun, P Zhang, X Wang
arXiv preprint arXiv:1805.05010, 2018
462018
Improving neural network verification through spurious region guided refinement
P Yang, R Li, J Li, CC Huang, J Wang, J Sun, B Xue, L Zhang
International Conference on Tools and Algorithms for the Construction and …, 2021
422021
VeriFi: Towards Verifiable Federated Unlearning
X Gao, X Ma, J Wang, Y Sun, B Li, S Ji, P Cheng, J Chen
IEEE Transactions on Dependable and Secure Computing, 2024
302024
Attack as defense: Characterizing adversarial examples using robustness
Z Zhao, G Chen, J Wang, Y Yang, F Song, J Sun
Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021
292021
NeuronFair: Interpretable White-Box Fairness Testing through Biased Neuron Identification
H Zheng, Z Chen, T Du, X Zhang, Y Cheng, S Ti, J Wang, Y Yu, J Chen
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE …, 2022
252022
Towards interpreting recurrent neural networks through probabilistic abstraction
G Dong, J Wang, J Sun, Y Zhang, X Wang, T Dai, JS Dong, X Wang
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
242020
Automatic fairness testing of neural classifiers through adversarial sampling
P Zhang, J Wang, J Sun, X Wang, G Dong, X Wang, T Dai, JS Dong
IEEE Transactions on Software Engineering 48 (9), 3593-3612, 2021
192021
Adversarial attacks and mitigation for anomaly detectors of cyber-physical systems
Y Jia, J Wang, CM Poskitt, S Chattopadhyay, J Sun, Y Chen
International Journal of Critical Infrastructure Protection 34, 100452, 2021
172021
Towards concolic testing for hybrid systems
P Kong, Y Li, X Chen, J Sun, M Sun, J Wang
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016
172016
Automatically ‘Verifying’ Discrete-Time Complex Systems through Learning, Abstraction and Refinement
J Wang, J Sun, S Qin, C Jegourel
IEEE Transactions on Software Engineering, 2018
14*2018
Should we learn probabilistic models for model checking? A new approach and an empirical study
J Wang, J Sun, Q Yuan, J Pang
Fundamental Approaches to Software Engineering: 20th International …, 2017
142017
Defending cyber-physical systems through reverse engineering based memory sanity check
Y Geng, Y Chen, R Ma, Q Wei, J Pan, J Wang, P Cheng, Q Wang
IEEE Internet of Things Journal, 2022
132022
RobOT: Robustness-oriented testing for deep learning systems. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
J Wang, J Chen, Y Sun, X Ma, D Wang, J Sun, P Cheng
IEEE, 300ś311, 2021
122021
Towards repairing neural networks correctly
G Dong, J Sun, X Wang, X Wang, T Dai
2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021
112021
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20