BQTmizer: A Tool for Test Case Minimization With Quantum Annealing | IEEE Journals & Magazine | IEEE Xplore