Modeling and analysis of software fault detectability and removability with time variant fault exposure ratio, fault removal efficiency, and change point. (April 2019)