What makes a reliable program: few bugs, or a small failure rate?

Published in: AFIPS National Computer Conference (1980)

Keyphrases

failure rate
test cases
small number
random variables
occurrence probability
lower bound
source code
static analysis
machine learning
feature selection
software engineering
software systems
production system
computer programs