 | 2009 |
|---|
| 19 |       | Mingjie Sun,
Bixin Li,
Pengcheng Zhang:
Monitoring BPEL-Based Web Service Composition Using AOP.
ACIS-ICIS 2009: 1172-1177 |
| 18 |  | Bixin Li,
Ju Cai,
Dong Qiu,
Shunhui Ji,
Yuting Jiang:
Generating Test Cases of Composite Services Based on OWL-S and EH-CPN.
SEKE 2009: 350-355 |
| 17 | | Bixin Li,
Lili Yang,
Shunhui Ji,
Dong Qiu,
Xufang Gong:
WSTester: Testing Web Service for Behavior Conformance.
SEKE 2009: 456-459 |
| 2008 |
|---|
| 16 | | Pengcheng Zhang,
Bixin Li,
Zhiyong Su,
Mingjie Sun:
Extending PSC for Monitoring the Timed Properties in Composite Services.
APSEC 2008: 335-342 |
| 15 | | Pengcheng Zhang,
Bixin Li,
Mingjie Sun,
Xufang Gong:
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.
COMPSAC 2008: 112-115 |
| 14 | | Pengcheng Zhang,
Bixin Li,
Mingjie Sun:
A Timed Extension of Property Sequence Chart.
HASE 2008: 197-206 |
| 13 | | Pengcheng Zhang,
Bixin Li,
Henry Muccini,
Yu Zhou,
Mingjie Sun:
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.
ICWS 2008: 752-753 |
| 2007 |
|---|
| 12 | | Pengcheng Zhang,
Yu Zhou,
Bixin Li:
A service-oriented methodology supporting automatic synthesis and verification of component behavior model.
SNPD (1) 2007: 511-516 |
| 11 | | Xufang Gong,
Yanchen Wang,
Ying Zhou,
Bixin Li:
On Testing Multi-threaded Java Programs.
SNPD (1) 2007: 702-706 |
| 2006 |
|---|
| 10 | | Bixin Li,
Yancheng Wang,
LiLi Yang:
An Integrated Regression Testing Framework to Multi-Threaded Java Programs.
SET 2006: 237-248 |
| 9 | | Yancheng Wang,
Bixin Li,
Xufang Gong:
An Extension to Robustness Slicing Algorithm Based on Dynamic Array.
SNPD 2006: 77-84 |
| 2005 |
|---|
| 8 | | Ying Zhou,
Bixin Li:
A Study of Model Layers and Reflection.
SNPD 2005: 110-113 |
| 7 | | Bixin Li,
Ying Zhou,
Junhui Mo,
Yancheng Wang:
Analyzing the Conditions of Coupling Existence Based on Program Slicing and Some Abstract Information-Flow.
SNPD 2005: 96-101 |
| 6 | | Bixin Li,
Ying Zhou,
Yancheng Wang,
Junhui Mo:
Matrix-based component dependence representation and its applications in software quality assurance.
SIGPLAN Notices 40(11): 29-36 (2005) |
| 2004 |
|---|
| 5 | | Yingzhou Zhang,
Baowen Xu,
Liang Shi,
Bixin Li,
Hongji Yang:
Modular Monadic Program Slicing.
COMPSAC 2004: 66-71 |
| 4 | | Bixin Li,
Xiaocong Fan,
Jun Pang,
Jianjun Zhao:
Model for Slicing JAVA Programs Hierarchically.
J. Comput. Sci. Technol. 19(6): 848-858 (2004) |
| 2003 |
|---|
| 3 | | Bixin Li:
A technique to analyze information-flow in object-oriented programs.
Information & Software Technology 45(6): 305-314 (2003) |
| 2002 |
|---|
| 2 | | Bixin Li:
An Approach for Assessing Software Coupling.
APLAS 2002: 337-351 |
| 1999 |
|---|
| 1 | | Yunfeng Wang,
Bixin Li,
Jun Pang,
Ming Zha,
Guoliang Zheng:
A Formal Software Development Approach Based on COOZ and Refinement Calculus.
TOOLS (31) 1999: 261-266 |
