| 2008 |
|---|
| 8 | EE | Lihua Duan,
Jessica Chen:
An Approach to Testing with Embedded Context Using Model Checker.
ICFEM 2008: 66-85 |
| 7 | EE | Lihua Duan,
Jessica Chen:
Error-preserving reductions on communication protocols.
Softw. Test., Verif. Reliab. 18(1): 51-68 (2008) |
| 2007 |
|---|
| 6 | EE | Lihua Duan,
Yan Wang,
Jessica Chen:
Enhanced Traverse of Web Pages.
HASE 2007: 113-122 |
| 5 | EE | Lihua Duan,
Jessica Chen:
A Formal Approach to Website Maintenance.
HASE 2007: 419-420 |
| 4 | EE | Lihua Duan,
Jessica Chen:
Reducing Test Sequence Length Using Invertible Sequences.
ICFEM 2007: 171-190 |
| 3 | EE | Lihua Duan,
Jessica Chen:
Alternative B-Sequences.
QSIC 2007: 127-136 |
| 2006 |
|---|
| 2 | EE | Jessica Chen,
Lihua Duan:
Conditions for Avoiding Controllability Problems in Distributed Testing.
ICFEM 2006: 460-477 |
| 1 | EE | Jessica Chen,
Lihua Duan:
Optimal Synchronizable Test Sequence from Test Segments.
QSIC 2006: 266-273 |
