BibSLEIGH — Bixin

Travelled to:

1 × China
1 × New Zealand
1 × Portugal
1 × Romania
1 × Russia
1 × Taiwan
4 × USA

Collaborated with:

X.Sun S.Ji L.Wang C.Tao D.Qiu Q.Zhang F.Liu J.Li J.Gao Q.Chen M.Zhu X.Zhai W.Wen Z.Su C.Xie X.Wang H.Leung Z.Wang Q.Li D.Wang P.Zhang L.Grunske A.Tang J.Cai Y.Jiang L.Yang X.Gong Y.Wang J.Pang M.Zha G.Zheng S.Zhang X.Chen

Talks about:

base (14) analysi (8) test (8) use (5) approach (4) softwar (4) servic (4) chang (4) regress (3) generat (3)

Person: Bixin Li

DBLP: Li:Bixin

Contributed to:

2013

2012

2011

2010

2009

1999

Wrote 22 papers:

ESEC-FSE-2013-QiuLS #analysis #co-evolution #database #empirical: An empirical analysis of the co-evolution of schema and code in database applications (DQ, BL, ZS), pp. 125–135.
SAC-2013-LiZSL #approach #graph #mining #named #novel: WAVE-CIA: a novel CIA approach based on call graph mining (BL, QZ, XS, HL), pp. 1000–1005.
SEKE-2013-LiuWL #analysis #detection #named #online #performance #pointer: ELCD: an efficient online cycle detection technique for pointer analysis (FL, LW, BL), pp. 606–611.
SEKE-2013-TaoLG #approach #architecture #component #configuration management #incremental #testing #using: Testing Configurable Architectures For Component-Based Software Using an Incremental Approach (CT, BL, JG), pp. 356–361.
SEKE-2012-LiLCZJZ #adaptation #continuation #self #verification: A HybridUML and QdL Based Verification Method for CPS Self-Adaptability (JL, BL, QC, MZ, SJ, XZ), pp. 239–242.
SEKE-2012-SunLTZ #impact analysis #testing #using: Using FCA-based Change Impact Analysis for Regression Testing (XS, BL, CT, QZ), pp. 452–457.
SEKE-2012-ZhaiLZLCJ #algebra #cyber-physical #logic #verification: Verification of Cyber-Physical Systems Based on Differential-Algebraic Temporal Dynamic Logic (XZ, BL, MZ, JL, QC, SJ), pp. 231–234.
SEKE-2012-ZhangLS #graph #impact analysis #mining: Mining Call Graph for Change Impact Analysis (QZ, BL, XS), pp. 7–12.
SEKE-2012-ZhuLLCZJ #continuation #difference #logic #using #verification: HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
ASE-2011-SunL #concept analysis #using: Using Formal Concept Analysis to support change analysis (XS, BL), pp. 641–645.
SAC-2011-SunLZTCW #dependence #impact analysis #object-oriented #source code #using: Using lattice of class and method dependence for change impact analysis of object oriented programs (XS, BL, SZ, CT, XC, WW), pp. 1439–1444.
SEKE-2011-LiuL #analysis #parallel #petri net #pointer #thread: Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
SEKE-2011-TaoLG #approach #component #modelling #testing: A Model-based Approach to Regression Testing of Component-based Software (CT, BL, JG), pp. 230–237.
SEKE-2011-WangL #interprocedural #profiling: A Technology of Profiling Inter-procedural Paths (LW, BL), pp. 31–36.
SEKE-2011-WangLWL #automation #generative #integration #order #overview: A Brief Survey on Automatic Integration Test Order Generation (ZW, BL, LW, QL), pp. 254–257.
SEKE-2011-WenLSL #fault #locality #slicing: Program slicing spectrum-based software fault localization (WW, BL, XS, JL), pp. 213–218.
SEKE-2011-XieLW #modelling #process #reliability #web #web service: A Web Service Reliability Model Based on Birth-Death Process (CX, BL, XW), pp. 625–628.
ICSM-2010-LiQJW #automation #generative #graph #testing: Automatic test case selection and generation for regression testing of composite service based on extensible BPEL flow graph (BL, DQ, SJ, DW), pp. 1–10.
ASE-2009-ZhangGTL #probability #sequence chart #syntax: A Formal Syntax for Probabilistic Timed Property Sequence Charts (PZ, LG, AT, BL), pp. 500–504.
SEKE-2009-LiCQJJ #generative #testing: Generating Test Cases of Composite Services Based on OWL-S and EH-CPN (BL, JC, DQ, SJ, YJ), pp. 350–355.
SEKE-2009-LiYJQG #behaviour #consistency #named #testing #web #web service: WSTester: Testing Web Service for Behavior Conformance (BL, LY, SJ, DQ, XG), pp. 456–459.
TOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method #refinement: A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.