A general imperfect-software-debugging model with S-shaped fault-detection rate | IEEE Journals & Magazine | IEEE Xplore