Travelled to:1 × Romania
1 × USA
Collaborated with:B.Li D.Qiu J.Li Q.Chen M.Zhu X.Zhai D.Wang J.Cai Y.Jiang L.Yang X.Gong
Talks about:base (5) test (4) servic (3) verif (3) differenti (2) composit (2) generat (2) hybrid (2) logic (2) dynam (2)
Person: Shunhui Ji
DBLP: Ji:Shunhui
Contributed to:
2012
20102009Wrote 6 papers:
- 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-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-ZhuLLCZJ #continuation #difference #logic #using #verification
- HybridUML Based Verification of CPS Using Differential Dynamic Logic (MZ, BL, JL, QC, XZ, SJ), pp. 235–238.
- 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.
- 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.