The control of the semantic conformance of protocols is much more difficult and complicated than the control of syntactic correctness.
KeywordsTest Sequence Input Sequence Distinguishing Sequence Abstract Machine State Transition Graph
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Katie Tarnay 1991