Title: Software Reliability Techniques for Real-World App Lications