Title: Software reliability through fault-avoidance and fault-tolerance
Subjects: Reliability, Computer software, Validation, Fault-tolerant computing, Computer programs