Software reliability techniques for real-world applications. (2022)