@article{18051,
  author = {Noah Oldfield and Christoph Laaber and Tao Yue and Shaukat Ali},
  title = {Faster and Better Quantum Software Testing through Specification Reduction and Projective Measurements},
  year = {2025},
  journal = {Transactions on Software Engineering and Methodology (TOSEM)},
  publisher = {ACM},
  url = {https://dl-acm-org.ezproxy.uio.no/doi/10.1145/3714468},
  doi = {https://doi-org.no/10.1145/3714468},
}