متابعة
Geguang Pu
Geguang Pu
Professor of Computer Science, East China Normal University
بريد إلكتروني تم التحقق منه على sei.ecnu.edu.cn
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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
4212017
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
2352021
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
1542020
Symbolic ltlf synthesis
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi
arXiv preprint arXiv:1705.08426, 2017
1312017
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
1252020
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
1252003
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
1202006
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
1192018
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
1122017
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
1012006
Semantics of BPEL4WS-like fault and compensation handling
Z Qiu, S Wang, G Pu, X Zhao
International Symposium on Formal Methods, 350-365, 2005
992005
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
922022
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
802020
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
712018
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
712015
SAT-based explicit LTLf satisfiability checking
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier
Artificial Intelligence 289, 103369, 2020
692020
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
642006
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
602020
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
572017
Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs
T Su, Y Yan, J Wang, J Sun, Y Xiong, G Pu, K Wang, Z Su
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-31, 2021
532021
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20