Efficient allocation of testing resources for software module testing based on the hyper-geometric distribution software reliability growth model | IEEE Conference Publication | IEEE Xplore