Communication Protocol System Testing – from Fundamental Theory to Test Automation and Software Tools

D. Lee and M. Yannakakis, “Conformance Testing”, Wiley Encyclopedia of Electrical and Electronics Engineering, 1998 (invited paper)

A. Cavalli, D. Lee, C. Rinderknecht and F. Zaidi, “HIT-OR-JUMP: an Algorithm for Embedded Testing with Applications to IN Services”, Proc. FORTE/PSTV, 1999

S. Huang, D. Lee and M. Staskauskas, “Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines”, Proc. FORTE/PSTV, October 1996

D. Lee and K. Sabnani, “Reverse Engineering of Communication Protocols”,Proc. ICNP, October 1993, pp. 208-216

D. Lee and D. Su, “Modeling and Testing of Protocol Systems”, Proc. IWTCS'97, pp. 339-364, September, 1997

C. Besse, A. Cavalli, and D. Lee, “An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol”, Proc. ASE, 1999

D. Wang, R. Hao and D. Lee, “Fault Detection in Rule-based Software Systems”, Proc. CPWCSE’2001 (invited paper)

A. Cavalli, D. Lee and S. Maag, “A Scenario-based Approach to Communication Software Systems Feature Interactions with Applications to IP Telephony”, Proc. of International Conference on Software Engineering and Applications, 2002

B. Alcalde, A. Cavalli, D. Chen, D. Khuu, and D. Lee, “Passive Testing on EFSM by Variable Determination and Backward Checking”, Proc. FORTE, 2004

R. Hao, D. Lee, R. Sinha and D. Vlah, "Testing IP Routing Protocols: From Probabilistic Algorithms to Software Tool", FORTE/PSTV, Pisa, Italy, October 10-13, 2000