| 2008 |
|---|
| 8 | EE | Alexandre David,
Kim Guldstrand Larsen,
Shuhao Li,
Brian Nielsen:
A Game-Theoretic Approach to Real-Time System Testing.
DATE 2008: 486-491 |
| 7 | EE | Wei-ling Chang,
Xiao-chun Yun,
Binxing Fang,
Shupeng Wang,
Shuhao Li:
A Quasi Word-Based Compression Method of English Text Using Byte-Oriented Coding Scheme.
WAIM 2008: 558-563 |
| 6 | EE | Alexandre David,
Kim Guldstrand Larsen,
Shuhao Li,
Brian Nielsen:
Cooperative Testing of Timed Systems.
Electr. Notes Theor. Comput. Sci. 220(1): 79-92 (2008) |
| 2005 |
|---|
| 5 | EE | Shuhao Li,
Ji Wang,
Xin Wang,
Zhi-Chang Qi:
Configuration-Oriented Symbolic Test Sequence Construction Method for EFSM.
COMPSAC (1) 2005: 13-18 |
| 4 | EE | Xin Wang,
Zhi-Chang Qi,
Shuhao Li:
An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification.
ICECCS 2005: 440-449 |
| 2004 |
|---|
| 3 | EE | Shuhao Li,
Ji Wang,
Wei Dong,
Zhichang Qi:
Property-Oriented Testing of Real-Time Systems.
APSEC 2004: 358-365 |
| 2 | EE | Shuhao Li,
Ji Wang,
Zhi-Chang Qi:
Property-Oriented Test Generation from UML Statecharts.
ASE 2004: 122-131 |
| 1 | | Shuhao Li,
Zhi-Chang Qi:
Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest.
SOQUA/TECOS 2004: 191-206 |
