Title: A software reliability engineering case study