دنبال کردن
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‏
4162017
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‏
2332021
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‏
1512020
Symbolic ltlf synthesis‏
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi‏
arXiv preprint arXiv:1705.08426, 2017‏
1272017
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‏
1232003
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‏
1222020
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‏
1192006
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‏
1142018
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‏
1102017
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‏
1012005
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‏
892022
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‏
672015
SAT-based explicit LTLf satisfiability checking‏
J Li, G Pu, Y Zhang, MY Vardi, KY Rozier‏
Artificial Intelligence 289, 103369, 2020‏
652020
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
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‏
552021
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‏
552017
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20