Geguang Pu
Geguang Pu
Professor of Computer Science, East China Normal University
Verified email at sei.ecnu.edu.cn
TitleCited byYear
Building a web thesaurus from web link structure
Z Chen, S Liu, L Wenyin, G Pu, WY Ma, WY Ma, WY Ma
Proceedings of the 26th annual international ACM SIGIR conference on …, 2003
1122003
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
1082006
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
872006
Semantics of BPEL4WS-like fault and compensation handling
Z Qiu, S Wang, G Pu, X Zhao
International Symposium on Formal Methods, 350-365, 2005
862005
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
742017
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
562006
Conformance validation between choreography and orchestration
J Li, H Zhu, G Pu
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
442007
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
372007
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), 5, 2017
362017
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
352007
Combining symbolic execution and model checking for data flow testing
T Su, Z Fu, G Pu, J He, Z Su
Proceedings of the 37th International Conference on Software Engineering …, 2015
342015
Automatically testing web services choreography with assertions
L Zhou, J Ping, H Xiao, Z Wang, G Pu, Z Ding
International Conference on Formal Engineering Methods, 138-154, 2010
322010
A model for BPEL-like languages
J He, H Zhu, G Pu
Frontiers of Computer Science in China 1 (1), 9-19, 2007
282007
LTL satisfiability checking revisited
J Li, L Zhang, G Pu, MY Vardi, J He
2013 20th International Symposium on Temporal Representation and Reasoning …, 2013
27*2013
Symbolic ltlf synthesis
S Zhu, LM Tabajara, J Li, G Pu, MY Vardi
arXiv preprint arXiv:1705.08426, 2017
262017
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
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
252018
Model-based methods for linking web service choreography and orchestration
J Sun, Y Liu, JS Dong, G Pu, TH Tan
2010 Asia Pacific Software Engineering Conference, 166-175, 2010
242010
Towards the semantics for web service choreography description language
J Li, J He, G Pu, H Zhu
International Conference on Formal Engineering Methods, 246-263, 2006
232006
Looking into compensable transactions
J Li, H Zhu, G Pu, J He
31st IEEE Software Engineering Workshop (SEW 2007), 154-166, 2007
212007
Static check of WS-CDL documents
L Zhou, H Zhang, T Wang, C Yang, Z Wang, M Sun, G Pu
2008 IEEE International Symposium on Service-Oriented System Engineering …, 2008
202008
The system can't perform the operation now. Try again later.
Articles 1–20