Test Case Minimization with Quantum Annealers