| 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 | 157 | 2019 |
| 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 | 91 | 2020 |
| 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 | 71 | 2018 |
| 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 | 52 | 2021 |
| Detecting adversarial samples for deep neural networks through mutation testing J Wang, J Sun, P Zhang, X Wang arXiv preprint arXiv:1805.05010, 2018 | 41 | 2018 |
| 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 | 40 | 2022 |
| 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 | 37 | 2021 |
| There is limited 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, JS Dong, ... arXiv preprint arXiv:1911.05904, 2019 | 33 | 2019 |
| 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 | 29 | 2021 |
| 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 | 21 | 2020 |
| 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 | 19 | 2020 |
| 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 | 18 | 2022 |
| Verifi: Towards verifiable federated unlearning X Gao, X Ma, J Wang, Y Sun, B Li, S Ji, P Cheng, J Chen arXiv preprint arXiv:2205.12709, 2022 | 16 | 2022 |
| 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 | 16 | 2021 |
| 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 | 15 | 2021 |
| 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 | 15 | 2016 |
| 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 | 12* | 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 | 12 | 2017 |
| 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 | 11 | 2021 |
| Towards ‘Verifying’ a Water Treatment System J Wang, J Sun, Y Jia, S Qin, Z Xu International Symposium on Formal Methods, 73-92, 2018 | 8 | 2018 |
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
