Optimal Testing Resource Allocation for Modular Software Based on a Software Reliability Growth Model: A Dynamic Programming Approach | IEEE Conference Publication | IEEE Xplore