A Formal Approach for Passive Testing of Protocol Data Portions. - David Lee; Dongluo Chen; Ruibing Hao; Raymond E. Miller; Jianping Wu; Xia Yin (ICNP, 2002)

Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. - Baptiste Alcalde; Ana R. Cavalli; Dongluo Chen; Davy Khuu; David Lee 001 (FORTE, 2004)

Coping with Nondeterminism in Network Protocol Testing. - Raymond E. Miller; Dongluo Chen; David Lee; Ruibing Hao (TestCom, 2005)

Network protocol system monitoring: a formal approach with passive testing. - David Lee; Dongluo Chen; Ruibing Hao; Raymond E. Miller; Jianping Wu; Xia Yin (IEEE/ACM Trans. Netw., 2006)

VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. - Guoqiang Shu; Dongluo Chen; Zhijun Liu; Na Li; Lifeng Sang; David Lee 001 (TestCom/FATES, 2008)