References

MQT Debugger has a strong foundation in peer‑reviewed research. Many of its built‑in algorithms are based on methods published in scientific journals and conferences. For an overview of MQT Debugger and its features, see [1]. If you want to cite this article, please use the following BibTeX entry:

@misc{rovara2024debugging,
  title        = {A Framework for Debugging Quantum Programs},
  author       = {Rovara, Damian and Burgholzer, Lukas and Wille, Robert},
  year         = {2024},
  eprint       = {2412.12269},
  eprinttype   = {arxiv}
}

MQT Debugger is part of the Munich Quantum Toolkit, which is described in [3]. If you want to cite the Munich Quantum Toolkit, please use the following BibTeX entry:

@inproceedings{mqt,
  title        = {The {{MQT}} Handbook: {{A}} Summary of Design Automation Tools and Software for Quantum Computing},
  shorttitle   = {{The MQT Handbook}},
  author       = {Wille, Robert and Berent, Lucas and Forster, Tobias and Kunasaikaran, Jagatheesan and Mato, Kevin and Peham, Tom and Quetschlich, Nils and Rovara, Damian and Sander, Aaron and Schmid, Ludwig and Schoenberger, Daniel and Stade, Yannick and Burgholzer, Lukas},
  year         = 2024,
  booktitle    = {IEEE International Conference on Quantum Software (QSW)},
  doi          = {10.1109/QSW62656.2024.00013},
  eprint       = {2405.17543},
  eprinttype   = {arxiv},
  addendum     = {A live version of this document is available at \url{https://mqt.readthedocs.io}}
}

Furthermore, if you use any of the particular algorithms such as

  • diagnostics and error cause analysis [1],

  • assertion refinement (moving or creating assertions) [2], or

  • runtime verification on real quantum devices [4]

please consider citing their respective papers as well.

A full list of references is given below.

[1] (1,2)

Damian Rovara, Lukas Burgholzer, and Robert Wille. A framework for debugging quantum programs. 2024. arXiv:2412.12269.

[2]

Damian Rovara, Lukas Burgholzer, and Robert Wille. Automatically refining assertions for efficient debugging of quantum programs. 2024. arXiv:2412.14252.

[3]

Robert Wille, Lucas Berent, Tobias Forster, Jagatheesan Kunasaikaran, Kevin Mato, Tom Peham, Nils Quetschlich, Damian Rovara, Aaron Sander, Ludwig Schmid, Daniel Schoenberger, Yannick Stade, and Lukas Burgholzer. The MQT handbook: A summary of design automation tools and software for quantum computing. In IEEE International Conference on Quantum Software (QSW). 2024. arXiv:2405.17543, doi:10.1109/QSW62656.2024.00013.

[4]

Damian Rovara, Lukas Burgholzer, and Robert Wille. A framework for the efficient evaluation of runtime assertions on quantum computers. 2025. arXiv:2505.03885.