A stochastic model of fault introduction and removal during software development | IEEE Journals & Magazine | IEEE Xplore