A software up-gradation model with testing effort and two types of imperfect debugging | IEEE Conference Publication | IEEE Xplore