 | 2010 |
| 12 |  | Lihua Duan,
Ping He:
Non-optimum Analysis Approach to Incomplete Information Systems.
ACFIE 2010: 501-510 |
| 2009 |
| 11 |  | Samaneh Navabpour,
Lihua Duan,
Jessica Chen:
Web Traversal with a History Stack.
QSIC 2009: 98-107 |
| 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 |