Travelled to:1 × Canada
1 × Italy
2 × China
2 × United Kingdom
Collaborated with:J.He T.Su Z.Su Z.Qiu S.Wang X.Zhao W.Yi J.Li G.Meng Y.L.0003 D.V.Hung Z.Fu Y.Yao L.Zhang Z.Chen S.Liu L.Wenyin W.Ma R.Dureja K.Y.Rozier M.Y.Vardi C.Zhang Y.Yan F.Zhang L.Fan S.Chen L.Xu Y.Huang J.Feng H.Zheng J.Zhu S.Wang S.Jiang W.Miao Y.Chen K.Wu W.Yang Y.Yao
Talks about:model (6) softwar (3) hardwar (3) approach (2) checker (2) android (2) partit (2) effici (2) tool (2) test (2)
Person: Geguang Pu
DBLP: Pu:Geguang
Contributed to:
2015
2014
2005
2004
2004
2003
2017
201820192019
2018Wrote 11 papers:
- ICSE-v1-2015-SuFPHS #data flow #execution #model checking #symbolic computation #testing
- Combining Symbolic Execution and Model Checking for Data Flow Testing (TS, ZF, GP, JH, ZS), pp. 654–665.
- FSE-2014-LiYP0H #finite #infinity #ltl #named #satisfiability
- Aalta: an LTL satisfiability checker over Infinite/Finite traces (JL, YY, GP, LZ, JH), pp. 731–734.
- FM-2005-QiuWPZ #fault #semantics
- Semantics of BPEL4WS-Like Fault and Compensation Handling (ZQ, SW, GP, XZ), pp. 350–365.
- IFM-2004-PuHHY #approach #clustering #hardware
- An Optimal Approach to Hardware/Software Partitioning for Synchronous Model (GP, DVH, JH, WY), pp. 363–381.
- SEFM-2004-GeguangXSZHY #approach #clustering #hardware #multi
- An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model (GP, XZ, SW, ZQ, JH, WY), pp. 376–385.
- SIGIR-2003-ChenLWPM #web
- Building a web thesaurus from web link structure (ZC, SL, LW, GP, WYM), pp. 48–55.
- ESEC-FSE-2017-SuMCWYYPLS #android #modelling #probability #testing #user interface
- Guided, stochastic model-based GUI testing of Android apps (TS, GM, YC, KW, WY, YY, GP, YL0, ZS), pp. 245–256.
- ASE-2018-FanSCMLXP #android #fault #programming
- Efficiently manifesting asynchronous programming errors in Android apps (LF, TS, SC, GM, YL0, LX, GP), pp. 486–497.
- ASE-2019-HuangFZZWJMP #analysis #editing #modelling #named #precise #requirements
- Prema: A Tool for Precise Requirements Editing, Modeling and Analysis (YH, JF, HZ, JZ, SW, SJ, WM, GP), pp. 1166–1169.
- ESEC-FSE-2019-ZhangSYZPS #comprehension #debugging #model checking
- Finding and understanding bugs in software model checkers (CZ, TS, YY, FZ, GP, ZS), pp. 763–773.
- CAV-2018-LiDPRV #approximate #named #performance #reachability
- SimpleCAR: An Efficient Bug-Finding Tool Based on Approximate Reachability (JL, RD, GP, KYR, MYV), pp. 37–44.