Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bixin Li
2010 – today
- 2013
[j14]Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung: Using water wave propagation phenomenon to study software change impact analysis. Advances in Engineering Software 58: 45-53 (2013)- [j13]Bixin Li, Xiaobing Sun, Jacky Keung: FCA-CIA: An approach of using FCA to support cross-level change impact analysis for object oriented Java programs. Information & Software Technology 55(8): 1437-1449 (2013)
- [j12]Chuanqi Tao, Bixin Li, Jerry Gao: A Systematic State-Based Approach to Regression Testing of Component Software. JSW 8(3): 560-571 (2013)
- [c57]Bixin Li, Qiandong Zhang, Xiaobing Sun, Hareton Leung: WAVE-CIA: a novel CIA approach based on call graph mining. SAC 2013: 1000-1005
- [c56]Bixin Li, Shunhui Ji, Li Liao, Dong Qiu, Mingjie Sun: Monitoring Web Services for Conformance. SOSE 2013: 92-102
- [c55]Bixin Li, Rui Song, Li Liao, Cuicui Liu: A User-Oriented Trust Model for Web Services. SOSE 2013: 224-232
- 2012
- [j11]Bixin Li, Xiaobing Sun, Hareton Leung: Combining concept lattice with call graph for impact analysis. Advances in Engineering Software 53: 1-13 (2012)
- [j10]Bixin Li, Dong Qiu, Hareton Leung, Di Wang: Automatic test case selection for regression testing of composite service based on extensible BPEL flow graph. Journal of Systems and Software 85(6): 1300-1324 (2012)
- [j9]Bixin Li, Lulu Wang, Hareton Leung, Fei Liu: Profiling all paths: A new profiling technique for both cyclic and acyclic paths. Journal of Systems and Software 85(7): 1558-1576 (2012)
- [c54]Rui Song, Bixin Li, Xiaona Wu, Cuicui Liu, ShanShan Qi: A Preference and Honesty Aware Trust Model for Web Services. APSEC 2012: 61-66
- [c53]Xiaona Wu, Bixin Li, Rui Song, Cuicui Liu, ShanShan Qi: Trust-Based Service Composition and Optimization. APSEC 2012: 67-72
- [c52]ShanShan Qi, Bixin Li, Cuicui Liu, Xiaona Wu, Rui Song: A Trust Impact Analysis Model for Composite Service Evolution. APSEC 2012: 73-78
- [c51]Cuicui Liu, Bixin Li, ShanShan Qi, Xiaona Wu, Rui Song: Data Depedency Based Trust Evaluation for BPEL Processes. APSEC 2012: 857-866
- [c50]Xiaobing Sun, Bixin Li, Qiandong Zhang: A Change Proposal Driven Approach for Changeability Assessment Using FCA-Based Impact Analysis. COMPSAC 2012: 328-333
- [c49]Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li: A Unified Modeling and Verifying Framework for Cyber Physical Systems. QSIC 2012: 128-131
- [c48]Qiandong Zhang, Bixin Li, Xiaobing Sun: Mining Call Graph for Change Impact Analysis. SEKE 2012: 7-12
- [c47]Xiaoxiang Zhai, Bixin Li, Min Zhu, Jiakai Li, Qiaoqiao Chen, Shunhui Ji: Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic. SEKE 2012: 231-234
- [c46]Min Zhu, Bixin Li, Jiakai Li, Qiaoqiao Chen, Xiaoxiang Zhai, Shunhui Ji: HybridUML Based Verification of CPS Using Differential Dynamic Logic. SEKE 2012: 235-238
- [c45]Jiakai Li, Bixin Li, Qiaoqiao Chen, Min Zhu, Shunhui Ji, Xiaoxiang Zhai: A HybridUML and QdL Based Verification Method for CPS Self-Adaptability. SEKE 2012: 239-242
- [c44]Xiaobing Sun, Bixin Li, Chuanqi Tao, Qiandong Zhang: Using FCA-based Change Impact Analysis for Regression Testing. SEKE 2012: 452-457
- 2011
- [c43]Xifeng Wang, Bixin Li, Li Liao, Chunli Xie: Ontology-Based Reliability Evaluation for Web Service. COMPSAC 2011: 348-349
- [c42]Chunli Xie, Bixin Li, Xifeng Wang: A Staged Model for Web Service Reliability. COMPSAC 2011: 564-565
- [c41]
- [c40]Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li: An Effective Approach for Automatic Generation of Class Integration Test Order. COMPSAC 2011: 680-681
- [c39]Chuanqi Tao, Bixin Li, Jerry Gao: Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing. HASE 2011: 29-32
- [c38]
- [c37]Xiaobing Sun, Bixin Li, Sai Zhang, Chuanqi Tao, Xiang Chen, Wanzhi Wen: Using lattice of class and method dependence for change impact analysis of object oriented programs. SAC 2011: 1439-1444
- [c36]
- [c35]
- [c34]Wanzhi Wen, Bixin Li, Xiaobing Sun, Jiakai Li: Program slicing spectrum-based software fault localization. SEKE 2011: 213-218
- [c33]Chuanqi Tao, Bixin Li, Jerry Gao: A Model-based Approach to Regression Testing of Component-based Software. SEKE 2011: 230-237
- [c32]Zhengshan Wang, Bixin Li, Lulu Wang, Qiao Li: A Brief Survey on Automatic Integration Test Order Generation. SEKE 2011: 254-257
- [c31]Chunli Xie, Bixin Li, Xifeng Wang: A Web Service Reliability Model Based on Birth-Death Process. SEKE 2011: 625-628
- 2010
- [j8]Bixin Li, Shunhui Ji, Dong Qiu, Ju Cai: Generating Test Cases of Composite Services Based on OWL-S and eh-CPN. International Journal of Software Engineering and Knowledge Engineering 20(7): 921-941 (2010)
- [j7]Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li: Model and Verification of WS-CDL Based on UML Diagrams. International Journal of Software Engineering and Knowledge Engineering 20(8): 1119-1149 (2010)
- [j6]Pengcheng Zhang, Bixin Li, Lars Grunske: Timed Property Sequence Chart. Journal of Systems and Software 83(3): 371-390 (2010)
- [j5]Pengcheng Zhang, Henry Muccini, Bixin Li: A classification and comparison of model checking software architecture techniques. Journal of Systems and Software 83(5): 723-744 (2010)
- [c30]Gongyuan Zhang, Bixin Li: A Way to Model Flow Construct and Its Three Properties Verification for BPEL Specification. APSCC 2010: 277-284
- [c29]Bixin Li, Xiaocong Fan, Ying Zhou, Zhiyong Su: Evaluating the Reliability of Web Services Based on BPEL Code Structure Analysis and Run-Time Information Capture. APSEC 2010: 206-215
- [c28]Chuanqi Tao, Bixin Li, Xiaobing Sun, Ying Zhou: A Hierarchical Model for Regression Test Selection and Cost Analysis of Java Programs. APSEC 2010: 290-299
- [c27]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: 329-334
- [c26]Chuanqi Tao, Bixin Li, Xiaobing Sun, Chongfeng Zhang: An Approach to Regression Test Selection Based on Hierarchical Slicing Technique. COMPSAC Workshops 2010: 347-352
- [c25]Meng Wang, Bixin Li, Zhengshan Wang, Xiaoyuan Xie: An Optimization Strategy for Evolutionary Testing Based on Cataclysm. COMPSAC Workshops 2010: 359-364
- [c24]Xiaobing Sun, Bixin Li, Chuanqi Tao, Wanzhi Wen, Sai Zhang: Change Impact Analysis Based on a Taxonomy of Change Types. COMPSAC 2010: 373-382
- [c23]Bixin Li, Dong Qiu, Shunhui Ji, Di Wang: Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph. ICSM 2010: 1-10
- [c22]Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li: WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. RV 2010: 485-489
2000 – 2009
- 2009
- [c21]Mingjie Sun, Bixin Li, Pengcheng Zhang: Monitoring BPEL-Based Web Service Composition Using AOP. ACIS-ICIS 2009: 1172-1177
- [c20]Bixin Li, Yu Zhou, Jun Pang: Model-Driven Automatic Generation of Verified BPEL Code for Web Service Composition. APSEC 2009: 355-362
- [c19]Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li: A Formal Syntax for Probabilistic Timed Property Sequence Charts. ASE 2009: 500-504
- [c18]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
- [c17]Bixin Li, Lili Yang, Shunhui Ji, Dong Qiu, Xufang Gong: WSTester: Testing Web Service for Behavior Conformance. SEKE 2009: 456-459
- 2008
- [c16]Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun: Extending PSC for Monitoring the Timed Properties in Composite Services. APSEC 2008: 335-342
- [c15]Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun: An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. APWeb Workshops 2008: 144-154
- [c14]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
- [c13]Pengcheng Zhang, Bixin Li, Mingjie Sun: A Timed Extension of Property Sequence Chart. HASE 2008: 197-206
- [c12]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
- [c11]Bixin Li, Zhiyong Su, Ying Zhou, Xufang Gong: A user-oriented Web service reliability model. SMC 2008: 3612-3617
- 2007
- [c10]Bixin Li, Yu Zhou, Ying Zhou, Xufang Gong: A Formal Model for Web Service Composition and Its Application Analysis. APSCC 2007: 204-210
- [c9]Pengcheng Zhang, Yu Zhou, Bixin Li: A service-oriented methodology supporting automatic synthesis and verification of component behavior model. SNPD (1) 2007: 511-516
- [c8]Xufang Gong, Yanchen Wang, Ying Zhou, Bixin Li: On Testing Multi-threaded Java Programs. SNPD (1) 2007: 702-706
- 2006
- [c7]Bixin Li, Yancheng Wang, Lili Yang: An Integrated Regression Testing Framework to Multi-Threaded Java Programs. SET 2006: 237-248
- [c6]Yancheng Wang, Bixin Li, Xufang Gong: An Extension to Robustness Slicing Algorithm Based on Dynamic Array. SNPD 2006: 77-84
- 2005
- [j4]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)
- [c5]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
- [c4]
- 2004
- [j3]Bixin Li, Xiaocong Fan, Jun Pang, Jianjun Zhao: Model for Slicing JAVA Programs Hierarchically. J. Comput. Sci. Technol. 19(6): 848-858 (2004)
- [c3]Yingzhou Zhang, Baowen Xu, Liang Shi, Bixin Li, Hongji Yang: Modular Monadic Program Slicing. COMPSAC 2004: 66-71
- 2003
- [j2]Bixin Li: A technique to analyze information-flow in object-oriented programs. Information & Software Technology 45(6): 305-314 (2003)
- 2002
- [j1]Bixin Li: Analyzing information-flow in java program based on slicing technique. ACM SIGSOFT Software Engineering Notes 27(5): 98-103 (2002)
- [c2]
1990 – 1999
- 1999
- [c1]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
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19 22:07 CEST by the dblp team