1 |
S. Fujiwara, G. v. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi, "Test Selection Based on Finite State Models," in IEEE Transactions on Software Engineering, vol. 17, no. 6, pp. 591-603, 1991.
DOI
|
2 |
S. T. Vuong and K. C. Ko, "A Novel Approach to Protocol Test Sequence Generation," in Proc. IEEE GLOBECOM '90, 1990, pp. 1880-1884.
|
3 |
A. T. Dahbura, K. K. Sabnani, and M. U. Uyar, "Formal Methods for Generating Protocol Conformance Test Sequences," in Proceedings of the IEEE, vol. 78, no. 8, pp. 1317-1326, 1990.
DOI
|
4 |
D. Rayner, "OSI Conformance Testing," in Computer Networks and ISDN Systems, vol. 14, no. 1, pp. 79-98, 1987.
DOI
|
5 |
D. P. Sidhu and T. K. Leung, "Formal Methods for Protocol Testing: A Detailed Study," in IEEE Transactions on Software Engineering, vol. 15, no. 4, pp. 413-426, 1989.
DOI
|
6 |
G. Gonenc, "A Method for the Design of Fault Detection Experiments," in IEEE Transactions on Computers, vol. C-19, pp. 551-558, 1970.
DOI
|
7 |
Z. Kohavi, Switching and Finite Automata Theory. New York: McGraw-Hill, 1978.
|
8 |
T. S. Chow, "Testing Software Design Modeled by Finite-State Machines," in IEEE Transactions on Software Engineering, vol. 4, no. 3, pp. 178-187, 1978.
|
9 |
K. K. Sabnani and A. T. Dahbura, "A Protocol Test Generation Procedure," in Computer Networks and ISDN Systems, vol. 15, no. 4, pp. 285-297, 1988.
DOI
|
10 |
S. T. Chanson and J. Zhu, "A Unified Approach to Protocol Test Sequence Generation," in Proc. IEEE INFOCOM '93, 1993, pp. 106-114.
|