A general modeling and analysis framework for software fault detection and correction process. (7th March 2016)