1 |
Chul Kim and J. S. Song, "Test Sequence Generation Methods for Protocol Conformance Testing", Proc. IEEE COMPSAC 94, pp. 169-174, 1994.
|
2 |
A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Formal Methods for Generating Protocol Conformance Test Sequences", Proceedings of the IEEE, vol. 78, no. 8, pp. 1317-1326, 1990.
DOI
|
3 |
D. P. Sidhu and T. K. Leung, "Formal Methods for Protocol Testing: A Detailed Study", IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 413-426, 1989.
DOI
|
4 |
S. Boyd and H. Ural, "The Synchronization Problem in Protocol Testing and Its Complexity", Information Processing Letters, vol. 40, pp. 131-136, 1991.
DOI
|
5 |
Chul Kim and J. S. Song, "Generating Synchronizable Conformance Test Sequence Based on Distinguishing Sequence", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E80-A, no. 6, pp. 1080-1082, 1997.
|
6 |
B. Sarikaya and G. v. Bochmann, "Synchronization and Specification Issues in Protocol Testing", IEEE Transactions on Communications, vol. 32, no. 4, pp. 389-395, 1984.
DOI
|
7 |
J. Edmonds and E. L. Johnson, "Mathing, Euler Tours, and the Chinese Postman", Mathematical programming, vol. 5, pp. 88-124, 1973.
DOI
|