Xufang Gong

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