2008 |
5 | EE | Guoqiang Shu,
Dongluo Chen,
Zhijun Liu,
Na Li,
Lifeng Sang,
David Lee:
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection.
TestCom/FATES 2008: 119-134 |
2006 |
4 | EE | David Lee,
Dongluo Chen,
Ruibing Hao,
Raymond E. Miller,
Jianping Wu,
Xia Yin:
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw. 14(2): 424-437 (2006) |
2005 |
3 | EE | Raymond E. Miller,
Dongluo Chen,
David Lee,
Ruibing Hao:
Coping with Nondeterminism in Network Protocol Testing.
TestCom 2005: 129-145 |
2004 |
2 | EE | Baptiste Alcalde,
Ana R. Cavalli,
Dongluo Chen,
Davy Khuu,
David Lee:
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
FORTE 2004: 150-166 |
2002 |
1 | EE | David Lee,
Dongluo Chen,
Ruibing Hao,
Raymond E. Miller,
Jianping Wu,
Xia Yin:
A Formal Approach for Passive Testing of Protocol Data Portions.
ICNP 2002: 122-131 |