An integrated framework of the modeling of failure-detection and fault-correction processes in software reliability analysis | IEEE Conference Publication | IEEE Xplore