Adaptive testing of non-deterministic communication protocols

IFIP Transactions C: Communication Systems

Volumn , Issue C-19, 1994, Pages 347-361

  Ghriga, Mohammed ^a   Frankl, Phyllis G ^a  

^a POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTIVE SYSTEMS; COMPUTATIONAL COMPLEXITY; COMPUTER NETWORKS; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; PARALLEL PROCESSING SYSTEMS; STATISTICAL TESTS;

ADAPTIVE TESTER; CONFORMANCE TESTING; NON DETERMINISTIC COMMUNICATION PROTOCOL; NON DETERMINISTIC FINITE STATE MACHINE MODEL (NFSM); PREPROCESSING PHASE; TEST SEQUENCE GENERATION; TRANSITION DISTINGUISHING SEQUENCE SETS (TDSS);

NETWORK PROTOCOLS;

EID: 0028087495     PISSN: 0926549X     EISSN: None     Source Type: Book    
DOI: None     Document Type: Book

References (13)