Test Generation for VMF Tactical Data Link Messages - Coping with Message Length Variability and Semantic Message Rules

[1]  Richard Lai,et al.  A survey of communication protocol testing , 2002, J. Syst. Softw..

[2]  Boris Beizer,et al.  Software Testing Techniques , 1983 .

[3]  Kenneth H. Rosen,et al.  Discrete Mathematics and its applications , 2000 .

[4]  Boris Beizer,et al.  Software testing techniques (2. ed.) , 1990 .

[5]  David Lee,et al.  Principles and methods of testing finite state machines-a survey , 1996, Proc. IEEE.

[6]  Sungwon Kang,et al.  Reliability Assessment of Translated VMF/Link-16 Messages , 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

[7]  Myungchul Kim,et al.  Development and Application of ATM Protocol Conformance Test System , 1999, IWTCS.

[8]  Alex Delis,et al.  Networking abstractions and protocols under variable length messages , 1995, Proceedings of International Conference on Network Protocols.

[9]  Jin-Fu Chang,et al.  Collision resolution for variable-length messages , 1993, IEEE Trans. Commun..

[10]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .