Title: Software Reliability Techniques for Real-World Applications