Estimation of software reliability by stratified sampling | Synapse