Nondeterministic state machines in protocol conformance testing

IFIP Transactions C: Communication Systems

Volumn , Issue C-19, 1994, Pages 363-378

  Petrenko, Alexandre ^a   Yevtushenko, Nina ^a   Lebedev, Alexandre ^a   Das, Anindya ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER NETWORKS; FINITE AUTOMATA; INTERFACES (COMPUTER); MULTIPROCESSING SYSTEMS; NETWORK PROTOCOLS; SOFTWARE ENGINEERING; STATISTICAL TESTS;

FAULT COVERAGE; NONDETERMINISTIC STATE MACHINES; PROTOCOL CONFORMANCE TESTING; REDUCTION RELATION; TEST GENERATION; TEST SUITE;

LARGE SCALE SYSTEMS;

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

References (21)