BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Li:Bixin

Contributed to:

ESEC/FSE 20132013
SAC 20132013
SEKE 20132013
SEKE 20122012
ASE 20112011
SAC 20112011
SEKE 20112011
ICSM 20102010
ASE 20092009
SEKE 20092009
TOOLS Asia 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.