|
Volumn , Issue , 1998, Pages 152-
|
Testing nondeterministic message-passing programs with NOPE
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER DEBUGGING;
ERROR DETECTION;
PARALLEL PROCESSING SYSTEMS;
PROBABILITY;
SMART CARDS;
TESTING;
MESSAGE PASSING INTERFACE;
NONDETERMINISTIC PROGRAM EVALUATOR;
COMPUTER SOFTWARE;
|
EID: 0031618111
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/281035.281054 Document Type: Conference Paper |
Times cited : (1)
|
References (1)
|