Modeling and Analysis of Software Fault Detection and Correction Process by Considering Time Dependency | IEEE Journals & Magazine | IEEE Xplore