Software Reliability Techniques for Real-World Applications