Handbook of Software Reliability Engineering