Reliability-estimation and stopping-rules for software testing, based on repeated appearances of bugs | IEEE Journals & Magazine | IEEE Xplore