Παρακολούθηση
Jingyi Wang
Jingyi Wang
Assistant Professor, Zhejiang University
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα zju.edu.cn - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
1952019
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
1372020
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
822022
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
822018
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
752021
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
71*2020
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
502024
Detecting adversarial samples for deep neural networks through mutation testing
J Wang, J Sun, P Zhang, X Wang
arXiv preprint arXiv:1805.05010, 2018
482018
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
472021
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
362022
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
332021
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
302021
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
272020
Prompting frameworks for large language models: A survey
X Liu, J Wang, J Sun, X Yuan, G Dong, P Di, W Wang, D Wang
arXiv preprint arXiv:2311.12785, 2023
262023
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
252021
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
202021
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 10 (10), 8331-8347, 2022
182022
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
182016
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
16*2018
TestSGD: Interpretable Testing of Neural Networks against Subtle Group Discrimination
M Zhang, J Sun, J Wang, B Sun
ACM Transactions on Software Engineering and Methodology 32 (6), 1-24, 2023
152023
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20