@misc{indiciae681d8ae5cbf9,
  title = {QuCheck: A Property-based Testing Framework for Quantum Programs in Qiskit},
  author = {Gabriel Pontolillo and Mohammad Reza Mousavi and Marek Grzesiuk},
  year = {2025},
  url = {https://arxiv.org/abs/2503.22641},
  note = {Source identifier: 2503.22641}
}