 | 2009 |
|---|
| 10 |       | Benhui Chen,
Jinglu Hu,
Lihua Duan,
Yinglong Gu:
Network Administrator Assistance System Based on Fuzzy C-means Analysis.
JACIII 13(2): 91-96 (2009) |
| 9 | | Lihua Duan,
Jessica Chen:
Exploring alternatives for transition verification.
Journal of Systems and Software 82(9): 1388-1402 (2009) |
| 2008 |
|---|
| 8 | | Lihua Duan,
Jessica Chen:
An Approach to Testing with Embedded Context Using Model Checker.
ICFEM 2008: 66-85 |
| 7 | | Lihua Duan,
Jessica Chen:
Error-preserving reductions on communication protocols.
Softw. Test., Verif. Reliab. 18(1): 51-68 (2008) |
| 2007 |
|---|
| 6 | | Lihua Duan,
Yan Wang,
Jessica Chen:
Enhanced Traverse of Web Pages.
HASE 2007: 113-122 |
| 5 | | Lihua Duan,
Jessica Chen:
A Formal Approach to Website Maintenance.
HASE 2007: 419-420 |
| 4 | | Lihua Duan,
Jessica Chen:
Reducing Test Sequence Length Using Invertible Sequences.
ICFEM 2007: 171-190 |
| 3 | | Lihua Duan,
Jessica Chen:
Alternative B-Sequences.
QSIC 2007: 127-136 |
| 2006 |
|---|
| 2 | | Jessica Chen,
Lihua Duan:
Conditions for Avoiding Controllability Problems in Distributed Testing.
ICFEM 2006: 460-477 |
| 1 | | Jessica Chen,
Lihua Duan:
Optimal Synchronizable Test Sequence from Test Segments.
QSIC 2006: 266-273 |
