| White-box fairness testing through adversarial sampling P Zhang, J Wang, J Sun, G Dong, X Wang, X Wang, JS Dong, T Dai Proceedings of the ACM/IEEE 42nd international conference on software …, 2020 | 115 | 2020 |
| 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 | 38 | 2019 |
| Fairness and interactivity of three CPU schedulers in Linux S Wang, Y Chen, W Jiang, P Li, T Dai, Y Cui 2009 15th IEEE International Conference on Embedded and Real-Time Computing …, 2009 | 38 | 2009 |
| 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 | 25 | 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 | 24 | 2020 |
| 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 | 20 | 2021 |
| Probabilistic verification of neural networks against group fairness B Sun, J Sun, T Dai, L Zhang Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 19 | 2021 |
| Towards repairing neural networks correctly G Dong, J Sun, J Wang, X Wang, T Dai arXiv preprint arXiv:2012.01872, 2020 | 15 | 2020 |
| 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 | 12 | 2021 |
| Roppdroid: Robust permission re-delegation prevention in android inter-component communication T Dai, X Li, B Hassanshahi, RHC Yap, Z Liang Computers & Security 68, 98-111, 2017 | 7 | 2017 |
| Detecting and preventing activex api-misuse vulnerabilities in internet explorer T Dai, S Sathyanarayan, RHC Yap, Z Liang Information and Communications Security: 14th International Conference …, 2012 | 3 | 2012 |
| Repairing Adversarial Texts through Perturbation G Dong, J Wang, J Sun, S Chattopadhyay, X Wang, T Dai, J Shi, JS Dong International Symposium on Theoretical Aspects of Software Engineering, 29-48, 2022 | 2 | 2022 |
| Understanding complex binary loading behaviors T Dai, M Zhang, RHC Yap, Z Liang 2014 19th International Conference on Engineering of Complex Computer …, 2014 | 1 | 2014 |
| An empirical study on correlation between coverage and robustness for deep neural networks.(2020) Y DONG, P ZHANG, J WANG, S LIU, J SUN, J HAO, X WANG, L WANG, ... 2020 25th IEEE International Conference on Engineering of Complex Computer …, 0 | | |
