Optimal allocation of testing resources for modular software systems | IEEE Conference Publication | IEEE Xplore