 |
 |
|
[6] D. Lee and M.
Yannakakis, "On-line Minimization of Transition Systems",
Proc. 24th Annual ACM Symposium on Theory of Computing,
May 1992, pp. 264-274 [Download>>]
[7] D. Lee, A. N. Netravali, K. K. Sabnani, B. Sugla,
and A. John, "Passive Testing and its Applications
to Network Management", Proc. ICNP, October 1997
[8] D. Lee and M. Yannakakis, "Conformance Testing",
Wiley Encyclopedia of Electrical and Electronics Engineering,1998
(invited paper) [Download>>]
[9] D. Lee and R. Hao, "Test Sequence Selection",
Proc. PSTV - FORTE'2001
[10] D. Lee and R. Hao, "Efficient Algorithms for
Test Sequence Selection", Proc. FATE'2001 (invited
paper, keynote) [Download>>]
[11] D. Lee, D. Chen, R. Hao, R. E. Miller, J. Wu, and
X. Yin, "A Formal Approach for Passive Testing of
Protocol Data Portions", Proc. ICNP'2002 [Download>>]
[12] T. F. LaPorta, D. Lee, Y.-J. Lin, and M. Yannakakis,
"Protocol Feature Interactions", Proc. FORTE/PSTV,
1998
[13] D. Lee and M. Yannakakis, "Optimization Problems
from Feature Testing of Communication Protocols",
Proc. ICNP, October 1996, pp. 66-75
[14] M. Yannakakis and D. Lee, "Testing Finite State
Machines", Proc. CSL, November 1998 (invited paper)
[15] M. Yannakakis and D. Lee, "An Efficient Algorithm
for Minimizing Real-time Transition Systems", J.
of Formal Methods in System Design, 1996. An earlier version
appeared in Proc. CAV, 1993, pp. 210-224 [Download>>]
[16] D. Lee, K. K. Sabnani, D. M. Kristol and S. Paul,
"Conformance Testing of Protocols Specified as Communicating
Finite State Machines - a Guided Random Walk Based Approach",
IEEE Trans. on Communications, Vol. 44, No. 5, 1996, pp.
631-640. An earlier version with a title "Conformance
Testing of Protocols Specified as Communicating FSMs"
appeared in IEEE INFOCOM'93, March 30 - April 1, 1993,
pp. 115-127
[17] 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
[Download>>]
[18] S. Huang, D. Lee and M. Staskauskas, "Validation-based
Test Sequence Generation for Networks of Extended Finite
State Machines", Proc. FORTE/PSTV, October 1996
[19] D. Lee and K. Sabnani, "Reverse Engineering
of Communication Protocols", Proc. ICNP, October
1993, pp. 208 - 216
[20] D. Lee and D. Su, "Modeling and Testing of Protocol
Systems", Proc. IWTCS'97, pp. 339-364, September,
1997
[21] E. Ayanoglu and D. Lee, "Reading Notes on Network
Management Part I: Fault Management", Bell Laboratories
Tech Memo, May 1998 [Download>>]
[22] C. Besse, A. Cavalli, and D. Lee, "An Automatic
and Optimized Test Generation Technique Applying to TCP/IP
Protocol", Proc. ASE, 1999
[23] D. Wang, R. Hao and D. Lee, "Fault Detection
in Rule-based Software Systems", Proc. CPWCSE'2001
(invited paper) |
| 第 1
2 3 4
5 6
7 页 |
|
 |
|
|
