Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Journal of Systems and Software

Bugs4Q: A benchmark of existing bugs to enable controlled testing and debugging studies for quantum programs

Pengzhan Zhao, Zhongtao Miao, Shuhan Lan, Jianjun Zhao

Published Jul 20, 2023• 29 citations
Publisher
DOI
10.1016/j.jss.2023.111805

Related papers

Towards Quantum Program Bug Datasets and Benchmarking

Tingting Li, Jiongchi Yu, Zhikang Fan +11 more

ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD)•Aug 7, 2026•0 citations

A suite for testing and debugging quantum programs (要旨)

サーラ アイマノ ファトヒ モハメド メトワリ, Sara Ayman Metwalli

•Jan 1, 2024•0 citations

Property-Based Testing and Delta Debugging for Quantum Programs

Gabriel Pontolillo

•Mar 1, 2026•0 citations

Bugs4Q: A Benchmark of Real Bugs for Quantum Programs

Pengzhan Zhao, Jianjun Zhao, Zhongtao Miao +1 more

Realistic benchmarks of reproducible bugs and fixes are vital to good experimental evaluation of debugging and testing approaches. However, there is no suitable benchmark suite that can systematically evaluate the debugging and testing methods of quantum programs until now. This paper proposes Bugs4Q, a benchmark of thirty-six real, manually validated Qiskit bugs from four popular Qiskit elements (Terra, Aer, Ignis, and Aqua), supplemented with the test cases for reproducing buggy behaviors. Bugs4Q also provides interfaces for accessing the buggy and fixed versions of the Qiskit programs and executing the corresponding test cases, facilitating the reproducible empirical studies and comparisons of Qiskit program debugging and testing tools. Bugs4Q is publicly available at https://github.com/Z-928/Bugs4Q

arXiv:2108.09744•IEEE/ACM International Conference on Automated Software Engineering (ASE)•Nov 1, 2021•52 citations

AssertsQ: A Quantum Assertion Tool for Quantum Software Debugging

Javier Ibarra Veganzones, Danel Alamo, Alfredo Cuzzocrea +1 more

•Jan 1, 2025•0 citations

A multi-lingual benchmark for property-based testing of quantum programs

Gabriel Pontolillo, Mohammad Reza Mousavi

We present a multi-lingual benchmark for (property-based) testing of quantum programs. We report on the methodology used to design our benchmark and the rationale behind its design decisions.

•May 18, 2022•12 citations
Realistic benchmarks of reproducible bugs and fixes are vital to good experimental evaluation of debugging and testing approaches. However, there is no suitable benchmark suite that can systematically evaluate the debugging and testing methods of quantum programs until now. This paper proposes Bugs4Q, a benchmark of thirty-six real, manually validated Qiskit bugs from four popular Qiskit elements (Terra, Aer, Ignis, and Aqua), supplemented with the test cases for reproducing buggy behaviors. Bugs4Q also provides interfaces for accessing the buggy and fixed versions of the Qiskit programs and executing the corresponding test cases, facilitating the reproducible empirical studies and comparisons of Qiskit program debugging and testing tools. Bugs4Q is publicly available at https://github.com/Z-928/Bugs4Q