3 papers
cs.SE2025
Evaluating Mutation-based Fault Localization for Quantum Programs
Yuta Ishimoto, Masanari Kondo, Naoyasu Ubayashi +4
Quantum computers leverage the principles of quantum mechanics to execute operations. They require quantum programs that define operations on quantum bits (qubits), the fundamental…
cs.SE2024
Bug-locating Method based on Statistical Testing for Quantum Programs
Naoto Sato, Ryota Katsube
When a bug is detected by testing a quantum program on a quantum computer, we want to determine its location to fix it. To locate the bug, the quantum program is divided into sever…
quant-ph2024
Generating Shuttling Procedures for Constrained Silicon Quantum Dot Array
Naoto Sato, Tomonori Sekiguchi, Takeru Utsugi +1
In silicon quantum computers, a single electron is trapped in a microstructure called a quantum dot, and its spin is used as a qubit. For large-scale integration of qubits, we prev…