Title: Optimization Models in Software Reliability