An Extension to Robustness Slicing Algorithm Based on Dynamic Array. - Yancheng Wang; Bixin Li; Xufang Gong (SNPD, 2006)

A Formal Model for Web Service Composition and Its Application Analysis. - Bixin Li; Yu Zhou 010; Ying Zhou; Xufang Gong (APSCC, 2007)

On Testing Multi-threaded Java Programs. - Xufang Gong; Yanchen Wang; Ying Zhou; Bixin Li (SNPD (1), 2007)

A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. - Pengcheng Zhang 001; Bixin Li; Mingjie Sun; Xufang Gong (COMPSAC, 2008)

A user-oriented Web service reliability model. - Bixin Li; Zhiyong Su; Ying Zhou; Xufang Gong (SMC, 2008)

WSTester: Testing Web Service for Behavior Conformance. - Bixin Li; Lili Yang; Shunhui Ji; Dong Qiu; Xufang Gong (SEKE, 2009)

Using Coupling Measure Technique and Random Iterative Algorithm for Inter-Class Integration Test Order Problem. - Zhengshan Wang; Bixin Li; Lulu Wang 001; Meng Wang; Xufang Gong (COMPSAC Workshops, 2010)

Verifying CPS Using DDL. - Ying Zhou; Min Zhu; Xufang Gong; Bixin Li (Intelligent Environments (Workshops), 2017)

Verifying CPS for Self-Adaptability. - Ying Zhou; Xufang Gong; Jiakai Li; Bixin Li (ICIS, 2018)

A Framework for CPS Modeling and Verification Based on dL. - Ying Zhou; Xufang Gong; Bixin Li; Min Zhu (ICIS, 2018)

Evaluate How Cyclomatic Complexity Changes in the Context of Software Evolution. - Huihui Liu; Xufang Gong; Li Liao; Bixin Li (COMPSAC (2), 2018)

A Systematic Mapping Study on the Verification of Cyber-Physical Systems. - Pengfei Duan; Ying Zhou; Xufang Gong; Bixin Li (IEEE Access, 2018)

Recover and Optimize Software Architecture Based on Source Code and Directory Hierarchies (S). - Tong Wang; Yelian Zhang; Xufang Gong; Bixin Li (SEKE, 2019)