概要: The reproducibility of software defect datasets is essential for obtaining reliable and comparable research results. However, software defect datasets can suffer from reproduction failures, where reported bugs become non-reproducible over time. We studied the reproducibility of Bugs4Q, a representative defect dataset of real-world bugs in Qiskit programs, from both quantitative and qualitative perspectives. The study revealed that most reproduction failures stem not from quantum-specific characteristics but from framework version upgrades and dependency changes. Guided by these causes, we manually migrated Bugs4Q to the latest Qiskit version and substantially improved its reproducibility, releasing the result as Bugs4Q-Robust. This suggests that such failures can be addressed systematically, and that automatically migrating a defect dataset to newer framework versions may keep it reproducible in a scalable manner. However, evidence drawn solely from Qiskit limits the external validity of this approach. As a next step toward scalable dataset migration, we present a plan to study framework evolution in other quantum software frameworks and examine how the migration approach generalizes beyond Qiskit. タグ: quantum, software, automated, migration, software, reproducibility, software, defects

@inproceedings{HarutoOhto2026,
  author = {Haruto Ohto and Yuta Ishimoto and Shinsuke Matsumoto and Shinji Kusumoto},
  title = {Reproducibility of Bugs4Q under Framework Evolution: Toward Supporting Quantum Program Migration},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {126},
  number = {125},
  pages = {115--120},
  year = {2026},
  month = {jul}
}