Optimal budget spending for software testing under the condition of nonlinear constraint | BIAI Journals & Magazine | IEEE Xplore