Testing Fault-Tolerant Protocols by Heristic Fault Injection.

Yinong Chen Klaus Echtle Winfried Görke

Published in: Fault-Tolerant Computing Systems (1991)

Keyphrases

fault tolerant
fault injection
fault tolerance
java card
fault model
distributed systems
load balancing
smart card
state machine
interconnection networks
low cost
static analysis
safety critical
database
virtual machine