@misc{17385,
  author = {Noah Oldfield},
  title = {Improved Runtime and Fault-Detection in Quantum Software Testing through Factorized Program Specifications},
  year = {2023},
  journal = {University of Oslo, Norway},
}