Infinite-Failure software reliability models based on non-homogeneous markov processes
This paper develops and evaluates a new non-homogeneous Markov process (NHMP)-based framework for software reliability modeling under imperfect debugging. Existing NHMP-based software reliability models are built from bounded cumulative baseline intensities and therefore correspond to finite-failure formulations. This...