Travelled to:1 × Brazil
1 × China
1 × France
1 × Germany
1 × Israel
1 × Norway
1 × Portugal
1 × Spain
2 × Italy
3 × Canada
5 × USA
Collaborated with:L.Wang J.Zhao L.Bu B.Lei E.Tang Y.Li M.Pan Z.Su J.Lilius X.Chen G.Zheng Z.Cui X.Qiu F.Gao X.Yu Y.Zhang T.Zhang X.Zhou P.Zhang H.Muccini A.Polini E.T.Barr D.Xu W.E.Wong C.Meng Y.Pei Y.Lu J.Zhai T.Z.0001 X.Liu L.Yang Z.Han L.Yu C.Zhang H.Cheng X.C.0027 J.Yuan J.Hu X.Li Y.Liang H.Qian Y.Hu Y.Yu
Talks about:program (6) diagram (6) time (6) base (6) uml (5) driven (4) activ (4) test (4) analysi (3) verif (3)
Person: Xuandong Li
DBLP: Li:Xuandong
Contributed to:
2014
2013
20122012
2011
2010
2010
2010
2010
2009
2009
2009
20082008
2007
2006
2006
2001199920162017
2019Wrote 23 papers:
- SEKE-2014-ZhouWLZ #correctness #empirical #probability #test coverage #testing
- An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability (XZ, LW, XL, JZ), pp. 632–635.
- OOPSLA-2013-LiSWL #execution #symbolic computation
- Steering symbolic execution to less traveled paths (YL, ZS, LW, XL), pp. 19–32.
- ICSM-2012-TangWZL #detection #maintenance
- Time-leverage point detection for time sensitive software maintenance (ET, LW, JZ, XL), pp. 567–570.
- SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
- Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
- ASE-2011-ZhangMPL #monitoring #predict #runtime
- Run-time systems failure prediction via proactive monitoring (PZ, HM, AP, XL), pp. 484–487.
- DATE-2010-BuLWCL #bound #composition #hybrid #linear #reachability
- BACH 2 : Bounded reachability checker for compositional linear hybrid systems (LB, YL, LW, XC, XL), pp. 1512–1517.
- ISSTA-2010-TangBLS #analysis #float #statistics
- Perturbing numerical calculations for statistical analysis of floating-point program (in)stability (ET, ETB, XL, ZS), pp. 131–142.
- SIGAda-2010-LiYBWZL #ada #fault tolerance #manycore #monitoring
- Extending Ada to support multi-core based monitoring and fault tolerance (YL, LY, LB, LW, JZ, XL), pp. 53–62.
- VMCAI-2010-BuZL #automaton #hybrid #programming #reachability #using #verification
- Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming (LB, JZ, XL), pp. 78–94.
- CAV-2009-PanBL #named #specification
- TASS: Timing Analyzer of Scenario-Based Specifications (MP, LB, XL), pp. 689–695.
- ICPC-2009-HanWYCZL #clustering #comprehension #design pattern #open source #source code
- Design pattern directed clustering for understanding open source code (ZH, LW, LY, XC, JZ, XL), pp. 295–296.
- SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml
- Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.
- ICST-2008-LeiWL #concurrent #consistency #diagrams #java #nondeterminism #process #source code #testing #uml
- UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency (BL, LW, XL), pp. 200–209.
- SAC-2008-LiQWLW #consistency #diagrams #interactive #java #runtime #source code #state machine #uml #verification
- UML state machine diagram driven runtime verification of Java programs for message interaction consistency (XL, XQ, LW, BL, WEW), pp. 384–389.
- ECMDA-FA-2007-YuZZWZZL #approach #automation #generative #modelling #towards
- Towards a Model Driven Approach to Automatic BPEL Generation (XY, YZ, TZ, LW, JZ, GZ, XL), pp. 204–218.
- AdaEurope-2006-LiWQLYZZ #java #runtime #source code #specification #verification
- Runtime Verification of Java Programs for Scenario-Based Specifications (XL, LW, XQ, BL, JY, JZ, GZ), pp. 94–105.
- EDOC-2006-YuHZZWZL #development #enterprise #framework #modelling #web #web service
- A Model Driven Development Framework for Enterprise Web Services (XY, JH, YZ, TZ, LW, JZ, XL), pp. 75–84.
- UML-2001-XuandongMYJG #analysis #diagrams #process #uml
- Timing Analysis of UML Activity Diagrams (XL, CM, YP, JZ, GZ), pp. 62–75.
- UML-1999-LiL #analysis #diagrams #sequence chart #uml
- Timing Analysis of UML Sequence Diagrams (XL, JL), pp. 661–674.
- ASE-2016-GaoWL #automation #named
- BovInspector: automatic inspection and repair of buffer overflow vulnerabilities (FG, LW, XL), pp. 786–791.
- ASE-2016-LiLQHBYCL #constraints #execution #machine learning #symbolic computation #theorem proving
- Symbolic execution of complex program driven by machine learning based constraint solving (XL, YL, HQ, YQH, LB, YY, XC, XL), pp. 554–559.
- ASE-2017-ZhangCTCBL #generative #mobile #sketching #testing #user interface
- Sketch-guided GUI test generation for mobile applications (CZ, HC, ET, XC0, LB, XL), pp. 38–43.
- ESEC-FSE-2019-LuPZ0L #android #testing
- Preference-wise testing for Android applications (YL, MP, JZ, TZ0, XL), pp. 268–278.