I. Introduction
Various critical infrastructures, such as power grids, telecommunication, transportation or financial services are controlled by software systems. For such systems, reliability is an essential qualitative attribute. Software Reliability Growth Models (SRGMs) are one of the most well-established approaches for software reliability analysis [1]–[3].