ResearchTESTVAL, a tool for protocol test validation and the validation of a LAPB test suite as an example
References (12)
- et al.
Step-wise validation of communication protocols and services
Computer Networks and ISDN systems
(1986) - et al.
TESTGEN: an environment for test suite generation and selection
Computer Communications
(April 1994) - et al.
Test result analysis and validation of test verdicts
Trace analysis of protocols based on formal concurrent specifications
OSI Conformance Testing Methodology and Framework Part 3: The Tree and Tabular Combined Notation (TTCN)
ISO DS 9646-3
(1990)On TESTGEN, an environment for protocol test sequence generation and its applications to the FDDI MAC protocol
There are more references available in the full text version of this article.
Cited by (0)
- 1
Sangho Lee was a visiting research professor, and is now at the Chungbuk National University of Korea.
- 2
Myung Chul Kim is currently with the Korea Telecom Research Laboratories.
Copyright © 1996 Published by Elsevier B.V.