| Guided, stochastic model-based GUI testing of Android apps T Su, G Meng, Y Chen, K Wu, W Yang, Y Yao, G Pu, Y Liu, Z Su Proceedings of the 2017 11th joint meeting on foundations of software …, 2017 | 367 | 2017 |
| Blockchain and federated learning for collaborative intrusion detection in vehicular edge computing H Liu, S Zhang, P Zhang, X Zhou, X Shao, G Pu, Y Zhang IEEE Transactions on Vehicular Technology 70 (6), 6073-6084, 2021 | 188 | 2021 |
| Memlock: Memory usage guided fuzzing C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 129 | 2020 |
| Building a web thesaurus from web link structure Z Chen, S Liu, L Wenyin, G Pu, WY Ma Proceedings of the 26th annual international ACM SIGIR conference on …, 2003 | 122 | 2003 |
| Towards the semantics and verification of BPEL4WS G Pu, X Zhao, S Wang, Z Qiu Electronic Notes in Theoretical Computer Science 151 (2), 33-52, 2006 | 120 | 2006 |
| Symbolic ltlf synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi arXiv preprint arXiv:1705.08426, 2017 | 117 | 2017 |
| Large-scale analysis of framework-specific exceptions in android apps L Fan, T Su, S Chen, G Meng, Y Liu, L Xu, G Pu, Z Su Proceedings of the 40th International Conference on Software Engineering …, 2018 | 111 | 2018 |
| Blockchain empowered cooperative authentication with data traceability in vehicular edge computing H Liu, P Zhang, G Pu, T Yang, S Maharjan, Y Zhang IEEE Transactions on Vehicular Technology 69 (4), 4221-4232, 2020 | 103 | 2020 |
| A formal model forweb service choreography description language (WS-CDL) H Yang, X Zhao, Z Qiu, G Pu, S Wang 2006 IEEE International Conference on Web Services (ICWS'06), 893-894, 2006 | 101 | 2006 |
| A survey on data-flow testing T Su, K Wu, W Miao, G Pu, J He, Y Chen, Z Su ACM computing surveys (CSUR) 50 (1), 1-35, 2017 | 99 | 2017 |
| Semantics of BPEL4WS-like fault and compensation handling Z Qiu, S Wang, G Pu, X Zhao International Symposium on Formal Methods, 350-365, 2005 | 99 | 2005 |
| Fakelocator: Robust localization of gan-based face manipulations Y Huang, F Juefei-Xu, Q Guo, Y Liu, G Pu IEEE Transactions on Information Forensics and Security 17, 2657-2672, 2022 | 75 | 2022 |
| Combining symbolic execution and model checking for data flow testing T Su, Z Fu, G Pu, J He, Z Su 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 70 | 2015 |
| Fakepolisher: Making deepfakes more detection-evasive by shallow reconstruction Y Huang, F Juefei-Xu, R Wang, Q Guo, L Ma, X Xie, J Li, W Miao, Y Liu, ... Proceedings of the 28th ACM international conference on multimedia, 1217-1226, 2020 | 68 | 2020 |
| Efficiently manifesting asynchronous programming errors in android apps L Fan, T Su, S Chen, G Meng, Y Liu, L Xu, G Pu Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 67 | 2018 |
| Theoretical foundations of scope-based compensable flow language for web service G Pu, H Zhu, Z Qiu, S Wang, X Zhao, J He International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 64 | 2006 |
| SAT-based explicit LTLf satisfiability checking J Li, G Pu, Y Zhang, MY Vardi, KY Rozier Artificial Intelligence 289, 103369, 2020 | 55 | 2020 |
| Why my app crashes? understanding and benchmarking framework-specific exceptions of android apps T Su, L Fan, S Chen, Y Liu, L Xu, G Pu, Z Su IEEE Transactions on Software Engineering 48 (4), 1115-1137, 2020 | 52 | 2020 |
| A Symbolic Approach to Safety ltl Synthesis S Zhu, LM Tabajara, J Li, G Pu, MY Vardi Hardware and Software: Verification and Testing: 13th International Haifa …, 2017 | 51 | 2017 |
| Conformance validation between choreography and orchestration J Li, H Zhu, G Pu First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007 | 47 | 2007 |
Yang LiuNanyang Technological University在 ntu.edu.sg 的电子邮件经过验证
