Estimating the number of faults: efficiency of removal, recapture, and seeding | IEEE Journals & Magazine | IEEE Xplore