TY - RPRT TI - Using quantum annealing to generate test cases for cyber-physical systems AU - Hugo Araujo AU - Xinyi Wang AU - Mohammad Mousavi AU - Shaukat Ali PY - 2025 UR - https://arxiv.org/abs/2504.21684 ID - 2504.21684 ER -