Optimal allocation and control problems for software-testing resources | IEEE Journals & Magazine | IEEE Xplore