​
Login / Signup
Xufang Gong
Publication Activity (10 Years)
Years Active: 2006-2019
Publications (10 Years): 6
Top Topics
Description Language
Manual Inspection
Impact Analysis
Software Evolution
Top Venues
ICIS
Intelligent Environments (Workshops)
COMPSAC (2)
SEKE
</>
Publications
</>
Tong Wang
,
Yelian Zhang
,
Xufang Gong
,
Bixin Li
Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S).
SEKE
(2019)
Ying Zhou
,
Xufang Gong
,
Bixin Li
,
Min Zhu
A Framework for CPS Modeling and Verification Based on dL.
ICIS
(2018)
Pengfei Duan
,
Ying Zhou
,
Xufang Gong
,
Bixin Li
A Systematic Mapping Study on the Verification of Cyber-Physical Systems.
IEEE Access
6 (2018)
Ying Zhou
,
Xufang Gong
,
Jiakai Li
,
Bixin Li
Verifying CPS for Self-Adaptability.
ICIS
(2018)
Huihui Liu
,
Xufang Gong
,
Li Liao
,
Bixin Li
Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution.
COMPSAC (2)
(2018)
Ying Zhou
,
Min Zhu
,
Xufang Gong
,
Bixin Li
Verifying CPS Using DDL.
Intelligent Environments (Workshops)
(2017)
Zhengshan Wang
,
Bixin Li
,
Lulu Wang
,
Meng Wang
,
Xufang Gong
Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem.
COMPSAC Workshops
(2010)
Bixin Li
,
Lili Yang
,
Shunhui Ji
,
Dong Qiu
,
Xufang Gong
WSTester: Testing Web Service for Behavior Conformance.
SEKE
(2009)
Bixin Li
,
Zhiyong Su
,
Ying Zhou
,
Xufang Gong
A user-oriented Web service reliability model.
SMC
(2008)
Pengcheng Zhang
,
Bixin Li
,
Mingjie Sun
,
Xufang Gong
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
COMPSAC
(2008)
Xufang Gong
,
Yanchen Wang
,
Ying Zhou
,
Bixin Li
On Testing Multi-threaded Java Programs.
SNPD (1)
(2007)
Bixin Li
,
Yu Zhou
,
Ying Zhou
,
Xufang Gong
A Formal Model for Web Service Composition and Its Application Analysis.
APSCC
(2007)
Yancheng Wang
,
Bixin Li
,
Xufang Gong
An Extension to Robustness Slicing Algorithm Based on Dynamic Array.
SNPD
(2006)