System Test Planning of Software: An Optimization Approach | IEEE Journals & Magazine | IEEE Xplore