Geguang Pu
Geguang Pu
Professor of Computer Science, East China Normal University
Verified email at
Cited by
Cited by
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
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
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
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
Semantics of BPEL4WS-like fault and compensation handling
Z Qiu, S Wang, G Pu, X Zhao
FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005
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
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
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
Symbolic ltlf synthesis
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi
arXiv preprint arXiv:1705.08426, 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
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
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
Theoretical foundations of scope-based compensable flow language for web service
G Pu, H Zhu, Z Qiu, S Wang, X Zhao, J He
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006
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
Conformance validation between choreography and orchestration
J Li, H Zhu, G Pu
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
Tool support for bpel verification in activebpel engine
Y Qian, Y Xu, Z Wang, G Pu, H Zhu, C Cai
2007 Australian Software Engineering Conference (ASWEC'07), 90-100, 2007
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
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
Automatically testing web services choreography with assertions
L Zhou, J Ping, H Xiao, Z Wang, G Pu, Z Ding
Formal Methods and Software Engineering: 12th International Conference on …, 2010
Modeling and verifying web services choreography using process algebra
J Li, J He, H Zhu, G Pu
31st IEEE Software Engineering Workshop (SEW 2007), 256-268, 2007
The system can't perform the operation now. Try again later.
Articles 1–20