Simulated Annealing for constructing binary covering arrays of variable strength | IEEE Conference Publication | IEEE Xplore