Software Reliability using Mathematical Modeling